Harvard Logic Colloquium: Justin Moore (Cornell), What makes the continuum Aleph-2