Lambda on Ex 1.3