¬ r e :t