Forrest, John J. Hafer, Lou Goncalves, Joao P.: Diving heuristics