Syntactical Treatment of Modalities, 6 February