https://easyexamnotes.com/equivalence-of-expression-in-type-checking/