test
Added double negation functionality