The Mu-Calculus and the Hierarchy Problem by