Definition:

concatenations