(<> <>, <><>...<> <><>: <> <> <> = <><> <>) <> → <><>