Գրեք սա: Algebraic theories