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