https://tigerroar.pages.dev/posts/amusing-ourselves-to-def/