McCarthy's Ambiguous Operator