Pātuhitia tēnei: First-order logic