s r , s ¬n