Logic

If a program accomplishes its purpose, it must be running.
Though a program may run, it may not accomplish its purpose.

If something is true, it must be logical.
Though something may be logical, it may not be true.
People can start with bad information.

You don't need to know *how* something is true for it to be truthful.
Yet, saying something is true does not mean it is so.

If condition "A" is true, then condition "B" is true.
If condition "B" is true and condition "A" is not true, the statement is true, but "A" still is not.

A -> B

(A = t & B = t) -> (A -> B) = t
(A = f & B = t) -> (A -> B) = t

(B = t & A = t) -> (B -> A) = t
(B = t & A = f) -> (B -> A) = f

Therefore

(A -> B) = t -> (B -> A) = (t|f) and is thus, indecisive.

- Mathematician Proverbs