VC elaboration extends trivially to holes