Module B.Boolean_Forward