1. 4

Paper here: http://www.mpi-sws.org/~rossberg/1ml/

  1.