[ <LAMBDA> 0 1 2 ]