Greg Restall<p>It’s a cloudy and cold Tuesday, and I’m inside writing about refinement. </p><p>At least I *think* I understand what I’m doing a bit better than Mark S and his team of macrodata refiners do.</p><p>(That’s an inappropriate <a href="https://hcommons.social/tags/Severance" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>Severance</span></a>, <a href="https://hcommons.social/tags/prooftheory" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>prooftheory</span></a> <a href="https://hcommons.social/tags/ModalLogic" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>ModalLogic</span></a> and <a href="https://hcommons.social/tags/ClickyKeyboard" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>ClickyKeyboard</span></a> crossover post. I’m sorry about that.)</p>