It seems there are two choices: 1. Before applying a numerical value to a Boolean test, ask whether it can ever be zero when that's not the intent of the test.

It seems there are two choices: 1. Before applying a numerical value to a Boolean test, ask whether it can ever be zero when that's not the intent of the test. 2. Create a new rule that forbids testing numerical values as though they're Booleans, and break nearly every program in existence. Hmm ... wait ... I'm thinking it over.