A guided tour of infinity, by João Seixas