I årevis har jeg stolt (mye) på @AndrewLewisPye for å gjøre dusjtanker og blogginnlegg til sammenhengende spesifikasjoner og bevis. Glad for å ha hans støtte og tilsyn når vi designer nye mekanismer for @commonwarexyz Library.