Pātuhitia tēnei: Algebraic logic