geo: fixes
cls: segment env, smaller font
alg: 18.4 proofs
alg: fixes
todo: word-wrap with references