Module With_Forward.Boolean_Forward