leastfixedpoint

Archived tweet #7103 from the @leastfixedpoint Twitter Archive
Starting to think I can state & prove properties roughly equivalent to Grice's Maxims for Network Calculus.