typedef Path = List;