Module All_Basis.Boolean_Backward