3
    0.      1.   empty.  lambda.
    1.  empty.       0.   empty.
empty.      0.       1.   empty.