State more clearly methods depending on the single-VM assumption