Module Ival.Boolean_Forward