it is definitely more verbose and uglier. but in practice it does not seem to be a problem. for instance, comparing to arc, if you had notfn for ~, and testify,

it is definitely more verbose and uglier. but in practice it does not seem to be a problem. for instance, comparing to arc, if you had notfn for ~, and testify, you could write all as: (defun all (test seq) (funcall (notfn #'some) (complement (testify test)) seq)) doesn't seem that bad.