I am invited to give a plenary talk at the 2020 North American Annual Meeting of the Association for Symbolic Logic taking place at UC Irvine March 25-28, 2020. Title and abstract for this talk will be announced in due course.