Module Complete_Integer.Boolean_Backward