Syntactical Treatment of Modalities, 6 February (The Reasoner, 2013)