Module Base_with_integer.Boolean_Forward