Module Integer_Basis.Boolean_Backward