r ¬ : : s.