Diestel definition of Path included