Seven Times Eight In Lambda Calculus