Email Record: Algebraic theories /