jb: gajanai broda gi brode .ijo seni'i bo gajanai na brode gi na broda
jb_tok: ga ja nai broda gi brode i jo se ni'i bo ga ja nai na brode gi na broda
en: "If P, then Q" is logically equivalent to "If not Q, then not P".
en_tok: " if p , then q " is logical ##ly equivalent to " if not q , then not p " .