With Michael Atiyah at ICM 2018 in Rio