Si quisiéramos ser estrictos, solo podríamos entender verificación entre modelos y si es posible sin ayuda humana.