Title: The mu-calculus and the hierarchy problem