5.2.3 Verificación de la significación del modelo