TTS description ...
fix the rule that says that evaluation preserves equalities