“…The validity of the simplifying assumptions underlying VE models has been studied both with respect to spatial [20] and temporal [21] scales, and the utility of VE models is thoroughly discussed in, e.g., [22,23]. Early studies focused on VE models with a sharpinterface assumption [24][25][26], and models that only account for the basic effects of buoyant migration were successfully used to simulate long-term migration in the Utsira [27] and Johansen [28] aquifers. Later, the class of VE models has been extended to incorporate most of the flow effects that are pertinent to large-scale migration, including compressibility [29], convective dissolution [30,31], capillary fringe [32], small-scale caprock topography variations [33][34][35], various hysteretic effects [36][37][38], multiple geological layers [39,40], and heat transfer [41].…”