Pātuhitia tēnei: Completeness theory for propositional logics