Verification of Heuristic