\{ p_1, p_2, p_3, p_4 \}