La proposition suivante : Je pense que tous les X sont des Y, et cela ne m’empêche pas d’être de gauche ! est désormais vraie, quelles que soient les valeurs attribuées aux variables X et Y.