Module S.Boolean_Forward