purityTT.v -> purityTree.v