If a priori status required computational tractability, mathematical truths like Fermat's Last Theor...