Proposition for multiple concatenation definitions