 Shapiro and Cook have suggested that the job of a formal logic is to model a natural language (Shapiro 2006; Cook 2010; Shapiro 2014). Since models are simplified structures intended to exhibit some but not all of the features of the phenomenon being modelled, there may be several rival models of the same language, each capturing different aspects of that language, and as Shapiro writes: 