5.4 and notation with lambdas