tsel-rec--tsel-rec case