Should assert the indices are exactly (0, 1, 2, 3).