Pātuhitia tēnei: Conference in Mathematical logic, London 70