Lambda introduction - more examples