∃S[∅∈S∧∀x∈S((x∪{x})∈S)] got me like | ScratchStats