It's not a matter of agreement, but one of precision. What I meant here is that 5 is not true, it's nonzero. The term is used all over TDPL to avoid confusion.