Esto es, en términos formales,