declared and installed IsReduced using RadicalSubobject