f s ¬ r.