Tagged: defending chain condition on ideals