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.