p_1 | p_1