Algebraic theories - c1959

512 / D554a