Oh yeah, I read it, even commented. That scheme is cool, but it's not a proof. At best it can be used to show that the liabilities are in a certain range. So, I would maybe remove the word proof to avoid giving a false sense of security.