Module Numeric.Boolean_Forward