universal algebras of models