A D2696: Digraph $G = (X, \mathcal{E})$ is a mediator digraph if and only if

(1)	$X = \{ x, y, z \}$
(2)	$\mathcal{E} = \{ (x, y), (y, z) \}$