Use not

Signed-off-by: Varun Shastry <vshastry@cs.stonybrook.edu>
Add one more initial world

Signed-off-by: Varun Shastry <vshastry@cs.stonybrook.edu>