Apparently someone renamed r. e. sets to c. e. sets without telling me. I suppose it is an improvement.