let p_of s = s.p