s a a ¬ r tf