A heuristic lambdaman looking up n levels