fixed typo in hierarchical theorem
cleared up proof
Merge branch 'paper'