Recordemos que x ↝ y simboliza a un camino de x en y.