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