Lambda calculus exercise! (These are de Bruijn indices) λλλλ (λ (λλ 1 0 (λλ 1)) (0 4 3) (0 2 1)) (λλ 1 0 (λλ 0))