This is the file 'lambda'.