I åratal har jag förlitat mig (mycket) på @AndrewLewisPye för att förvandla duschtankar och blogginlägg till sammanhängande specifikationer och bevis. Vi ser fram emot att ha hans stöd och tillsyn när vi utformar nya mekanismer för @commonwarexyz Library.