substitute properly in negation