>>11369676P: Everything is preordained
Q: Nothing is preordained
Q -> ~P
P and Q implies P and ~P are both true.
Let A be an arbitrary statement.
P or A is true.
P is not true.
Therefore, A is true,
If both positions meant the same thing, then every statement would be true.
