Included negation functionality. fixed typographic bugs