Lifting lemmas : make the initial state appear under an existential under the view shift. This is still sound, but slightly more expressive.