This episode is also available as a blog post: https://magneticmagic.net/2022/04/02/i-adoy-yoda-axiomatic-guarantees/