Is this precondition bad?  Does it trigger falsely and cause the app to exit?