Jack London character is based on Hawaiian leper Kaluaikoolau, who in 1893 revolted and resisted capture from forces of the Provisional Government of Hawaii in the Kalalau Valley. An amateur boxer and avid boxing fan, London reported on the 1910 Johnson–Jeffries fight, in which the black boxer Jack Johnson vanquished Jim Jeffries, known as the "Great White Hope". In 1908, London had reported on an earlier fight of Johnson's, contrasting the black boxer's coolness and intellectual style, with the apelike appearance and fighting style of his Canadian opponent, Tommy Burns, 'what . . . [won] on Saturday was bigness, coolness, quickness, cleverness,
Let expression been pre-processed so that each lambda abstraction has a unique name. The substitution operator is also used. The expression formula_50 means substitute every occurrence of "G" in "L" by "S" and return the expression. The definition used is extended to cover the substitution of expressions, from the definition given on the Lambda calculus page. The matching of expressions should compare expressions for alpha equivalence (renaming of variables). The following rules describe how to convert from a lambda expression to a "let" expression, without altering the structure. Rule 6 creates a unique variable V, as a name for the function. For