The first seems obviously correct, and is cheap if vts are mostly valid