dotted lambda