Summer_school_2008_Arithmetic_expressions_with_let-binding_(hypothetical_evaluation).elf