Module Value.Boolean_Forward