'Integration over the adeles and model theory'.