use of "must be" avoids two close-together "to be"s