foo -- bar biz -> baz biz <-> baz biz <- baz