h <- a.
~h <- c.

b.
d.

a -< b.
c -< d.