Module Binary_Basis.Boolean_Backward