Sort seven famous propositions into Kant's fourfold table of analytic/synthetic and a priori/a posteriori.