h_1 | ← h_1