 To disambiguate, notice that formal models often use simplified notions of the state. Firstly, many models reduce the state to its unknown part; for instance, the state in a court decision might be modelled as the fact of whether a crime has been committed, treating all other determinants of correct verdicts (such as the right interpretation of the law, but also logical or physical facts) as known background facts not worth modelling. Secondly, and more radically, many models identify the state with the correct alternative itself; they might take the state in a court decision to be the correct verdict (“convict” or “acquit”).