adding stronger assumptions for Happ.