Small corrections: - Holdouts are 7.6% - Haircut was around 75% nominal, but in practice was more around 40% since there were some GDP growth incentives and better interest rates