CurriedHyps section