 As we have seen in  section 2,  in addition to knowing that a way to Φ is a way to Φ, one needs to think of that way under a practical mode of presentation. Let Pr be a practical way of thinking of a way and let way of Φ-ing be a way of thinking of the property of being a way of Φ-ing; finally let ⦼ be a way of composing ways of thinking into a proposition. Then &lt;Pr ⦼ way of Φ-ing&gt; is the practical proposition that one comes to know when coming to know how to Φ. On how to implement Fregean senses in the compositional semantics, see Yalcin (2015).