<> <> (<> <>
<> <> <>, <> <>
<> <>) <> → <><>