hi:discussion:chapters:proofs