Changed pathing from Z to u,0,1 and proved the first heap safety lemma.