This is only half in jest. Maybe less than half.
I suggest that in the BPFK's re-write of the CLL, we excise the word
entirely. Or at least where it's used to describe na ja and ja nai
and such. "ja nai" doesn't mean "first is true if second is true",
it means "either (the first is true) or (neither the first nor the
second is true)" (the truth table being TTFT) and using the
"standard" logical term of "if" has lead to one of the most common
purely semantic Lojban errors.