Module With_Boolean.Boolean_Forward