Modellerte AWS-avbruddets DNS-løpstilstand i Quint og Choreo etter å ha sett en TLA+-versjon i Murrats blogginnlegg. Choreo-versjonen er mer detaljert, men den har noen reelle fordeler for lesbarhet og dokumentasjon av feilscenarier 🧶