1. 11
  1.  

  2. 1

    Wat, no type theory? Nice presentation.