, r ¬ r t s i n t el