Hierarchy, Circularity, and Double Reduction