Kant's synthetic a priori demonstrates that non-trivial necessary truths about empirical structure a...