Module I.Boolean_Forward