strengthen the Happ assumptions.