comparison is working but still a reduce-reduce conflict with exp_logica.