p ; • p 1 ert p : B t » p_