 Our basic claim about NFU + Infinity + Choice (and its extensions) is that it is a mathematically serviceable alternative set theory with its own intrinsic motivation (although we have used Zermelo style set theory to prove its consistency here, the entire development can be carried out in terms of TST alone: one can use TST as meta-theory, show in TST that consistency of TST implies consistency of NFU, and use this result to amend one’s meta-theory to NFU, thus abandoning the distinctions between types). We do not claim that it is better than ZFC, but we do claim that it is adequate, and that it is important to know that adequate alternatives exist; we do claim that it is useful to know that there are different ways to found mathematics, as we have encountered the absurd assertion that “mathematics is whatever is formalized in ZFC”.