, ¬ , tr