Module Complete_Binary.Boolean_Backward