Pātuhitia tēnei: Mathematical logic.