Pātuhitia tēnei: Algebraic theories