s s t t ¬ a e - r a.