hi:chapters:proofs