The catch() operator