Ferdinand's towers of hecc Wiki/Extensions