[Anindya wrote](https://forum.azimuthproject.org/discussion/comment/19964/#Comment_19964×)
> surely we do have \\(\Phi(E,c) = \text{true}\\) because we can "drive" from \\(E\\) to \\(N\\) and then "fly" from \\(N\\) to \\(c\\).

Yeah, you are right. I read the diagram incorrectly... thanks!