Core logical and mathematical structures (modus ponens, transitivity) are recognized as valid across...