Default Judgment for Sale Conditional on Proof of Claim