Rose's edits: moving definitions together and

adding lemma on how a path can change