Source: https://mml-book.github.io/book/mml-book.pdf