Exactly. The debt isn't getting paid back whatever happens. Dave Smith has a funny bit about that in libertas.