Den Ausdruck

${\displaystyle \exists u\exists v\exists w(u\neq v\wedge u\neq w\wedge v\neq w\wedge Rux\wedge Rvx\wedge Rwx)}$

erfüllen genau die beiden Punkte ${\displaystyle {}d}$ und ${\displaystyle {}e}$, da diese für drei Pfeile die Endpunkte sind. Ein Unterschied zwischen ${\displaystyle {}d}$ und ${\displaystyle {}e}$ ist, dass bei ${\displaystyle {}d}$ nur Pfeile von Punkten ankommen, an denen jeweils höchstens ein Pfeil ankommt, während in ${\displaystyle {}e}$ ein Pfeil, nämlich der von ${\displaystyle {}d}$ ankommt, auf dem mehr als ein Pfeil ankommt. Daher ist

${\displaystyle \exists u\exists v\exists w(u\neq v\wedge u\neq w\wedge v\neq w\wedge Rux\wedge Rvx\wedge Rwx)\wedge \forall y\forall z\forall s(yRx\wedge zRy\wedge sRy\rightarrow z=s).}$