Apparently, TAOD

- a proposition that implies its own negation is necessarily falsea proposition that is implied by its own negation is necessarily true -

rejected and denied by many, accepted and embraced by few : falsifiability- it is not what we (think we) know that matters, it is what we can show true that doesas the maxim demands; truth is demonstrably fact and fact is demonstrably trueeverything else ... mere BS -