A talk on Elle, one of Jepsen’s transactional safety checkers. This was originally presented at High Performance Transaction Systems, but not recorded; it was later delivered virtually as a part of the CMU Database Group’s 2020 “quarantine tech talks”.