Variable negation and nubering works