Flexibly Stratified Comprehension is inconsistent. By Flexibly Stratified Comprehension, there is an s such that ∀x(xεs<-->∃y(∀t(tεy<-->tεx))∧y∉x). If sεs, then there is an S with the same members as s such that S∉s. But if S∉s, then for all T with the same members as S, TεS. In particular SεS snd thus Sεs. If s∉s, then for all S with the same members as s, Sεs. In particular sεs.