Module Complete_Integer.Boolean_Forward