digraph {
	X [pos="0,0!"]
	Y [pos="3,0!"]
	A [pos=".5,2!"]
	B [pos="1.75,1!"]
	A [style=dashed]
	X -> Y
	B -> Y
	A -> X [style=dashed]
	A -> B [style=dashed]
}
