An evaluation strategy, described in [Traub, FPCA 89], under which all redexes are evaluated in parallel except inside the arms of conditionals and inside {lAMbda abstractions}. Lenient evaluation is an exAMple of an {eager} evaluation strategy. (2004-01-22)