Kleene's existence property refinement