Come to this talk to find out more. We will touch on the axiom of choice, how to take a limit of spaces, and how to get an ultracomplete space (non-constructively). Don't worry if you don't know what some of these words mean. Everything will be defined and there will be examples.