Seol mar théacs é seo: Second Order Logic and the Weak Exponential Hierarchies