Module Domain_S.Boolean_Forward