formal proof of debt