t s ¬ - - n s r ¬ e,