What is the difference between analytic and synthetic judgments? What is Kant's distinction between appearances and things in themselves? What is the role of the categories in Kant's epistemology?