But apparently that functionality is implemented in the ¬ify function. We'll have to find and look at that.
