(And that order is reflected in the invalidation check invalid_vts list?)