¿Cuándo las modelos de razonamiento y el cálculo en tiempo de prueba están justificados, y cuándo son excesivos?