lecture: lecture 06: begin definition of existPath