@piano2683 Nice, it is a very good thing to make more people aware of Diers and Coste works ! I am happy to know they raise interest amongst young mathematicians after being quite neglected for decades !
@getjonwithit Less strange when written as ((G or (P and not A)) and not P) entails G : adding something to G and then removing more ends up with something included in G.