Module Quadrivalent.Boolean_Backward