 Could there be a 1-ary connective # two successive applications of which amounted to a single application of (say) classical  negation?[42]  If we work in Set-Set an austere version of this question amounts to asking about the fate of # subjected, alongside the standard structural rules, to the condition that for all φ: