chap 7 proofed