 There have been a number of correspondence theories that do make use of facts. Some are notably different from the neo-classical theory sketched in section 1.1. For instance, Austin (1950) proposes a view in which each statement (understood roughly as an utterance event) corresponds to both a fact or situation, and a type of situation. It is true if the former is of the latter type. This theory, which has been developed by situation theory (e.g., Barwise and Perry, 1986), rejects the idea that correspondence is a kind of mirroring between a fact and a proposition. Rather, correspondence relations to Austin are entirely conventional. (See Vision (2004) for an extended defense of an Austinian correspondence theory.) As an ordinary language philosopher, Austin grounds his notion of fact more in linguistic usage than in an articulated metaphysics, but he defends his use of fact-talk in Austin (1961b).