added test for neg and conjunction