This episode is also available as a blog post: https://tonyjordan.net/2022/06/20/logic/