Module P2.Boolean_Forward