correctly represent concatenation