 I shall take involution in such a sense that \(x^y\) will denote everything which is an \(x\) for every individual of \(y\). Thus \(\binary{l}^{\unary{w}}\) will be a lover of every woman. (DNLR [CP 3.77])