indiscernibles fixed and subset replaced with subseteq