deleted: ispcategories