t t l ¬ r s tr