concat.checkRep() is implemented