Logical negation by Englebretsen