Anfonwch hwn fel neges destun: Second Order Logic and the Weak Exponential Hierarchies