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)