I visited Anuj Dawar and Benedikt Pago at the University of Cambridge.