The language of formal reasoning is often used in applied computer science to characterize the properties of engineered systems. In a recent post, I described how the Internet’s Transport Control ...