Module Complete_Binary.Boolean_Forward