Mallinsi AWS-katkoksen DNS-kilpailun Quintissä ja Choreossa nähtyään TLA+-version Murratin blogikirjoituksessa. Choreo-versio on monisanaisempi, mutta sillä on todellisia etuja luettavuuden ja vikaskenaarioiden 🧶 dokumentoinnin kannalta