Source: https://ouzhang.me/slides/Quotient/JSON_introduction.pdf