Module Binary_Integer_Basis.Boolean_Backward