3 ms·

So what do you believe can be modeled in a formal language?