Concatenation (Formal Systems)/Examples