essentially_algebraic