Un tipo de que podemos utilizar para verificar modelos teóricos predefinidos.