ParentFull threadultrafilter·Set theorists have located the "end" for all practical and most impractical purposes. Let M be the minimal countable transitive model of ZFC. Declare a real to be useful if and only if it is in M.View on HN