p : * \ S^r.