negation puzzle