SMS dit: The theory of ultrafilters/