Nice post.<p>Can you clarify your last sentence?  What do you mean by &quot;preference for operational reasoning&quot;?  What&#x27;s an example of the more effective methods for reasoning about programs at scale that you&#x27;re contrasting this to?