Extremal finite set theory. (2018)