V

Verification of Heuristic