' p: | p)