Modules

isomorphic denormalization of nested HoH into AoH