The Mu-Calculus and the Hierarchy Problem door