s s n t ¬ s-