Those formulae according to which 'the object denies what it is not', or 'distinguishes itself from everything that it is not', are logical monsters (the Whole of everything which is not the object) in the service of identity.