 But we could let computers do our metaphysics just as we let them do our taxes. The only serious objection is that the problems of negation do not really go away when we translate into artificial languages. For instance, the challenge posed by negative existential sentences such as ‘Pegasus does not exist’ persists when translated as ‘Pegasus exists NAND Pegasus exists’. Any desire to make ‘Pegasus does not exist’ come out true warrants a desire to make ‘Pegasus exists NAND Pegasus exists’ come out true. (Since classical logic does not permit empty names, the NAND existential sentence will not be true.)