p_vs_np