path existence