Safety commit
Figures for talk
Tree generator in Haskell