Our language boxes should not be confused with the modular language definition concept of the same name from [19].