#18 #20 e.g. If A then must also have B Also implies NOT
#18 #20
e.g. If A then must also have B
Also implies NOT