The Great White Hope (film) over their marriage and Duryea's death by suicide in 1912. Set between 1910 and 1915, the story follows Jack Jefferson, patterned after real-life boxer, Jack Johnson, going on a hot streak of victories in the boxing ring as he defeats every white boxer around. Soon the press and racists announce the search for a "great white hope", a boxer who will defeat Jefferson for the heavyweight title. Meanwhile, Jefferson prepares for a few more matches, but he lets his guard down by courting the beautiful, and very white, Eleanor Bachman, and when everyone, including Jack's black "wife", discover this, the
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