{"subcategory": "CRing", "supercategory": "Ring", "kind": "reflection"}