fix the problem with mutually recursive definitions