1. 16
  1.  

  2. 3

    See the Lambda-the-Ultimate presentation (and upcoming discussion) which presents more context on the work.