+gradLemma +more gluing