der -> lambda