¬ : d t r.