Not just supperiority; you also have to memorize the phrase "curry-howard isomorphism". /s