lambda1@tg
says to
YSITD
Suppose we have a graph A -> B C -> B such a graph is direct and acyclic