CGE2: Further implement caveUp().