Module Domain.Boolean_Forward