Added the meta-theory of HH to the examples