<> <> extends<> <><><> <> = <><>