possible k heuristic