Add a new skill and the proof in tree DFS.