Add lots of notes about smarter inference control heuristics
fixes
remove nonsense
Fix a formula