updated 2.1.2 (negative propositions)