We prove that a natural axiom system of first-order modal mu-calculus 
is complete with respect to "general" models.