( <a> <b> ) = <ab>.