First example mu-calculus validation