Missing something about heuristics but otherwise ready for proof reading