[overtone1000]

And then that 25% is 10% of US banks' entire lending portfolio, so private credit is about 2.5% of their entire portfolio.