\{ w_1, w_2, w_3, w_4 \}