The supporting argument's transitivity premise holds for decision problems under standard Turing red...