El modelo formal usualmente hace hipótesis adicionales: