LAMBDA, REC done.