Did Jon pay that amount back to Ukyo-Loan Creditors? It's not the amount that he gave back through the claim portal? Because weexchange users could withdraw there too.