تاب فوق، کتابی آموزشی و در سطوح ابتدایی بود که بیشتر به کار نوآموزان ناآشنا با فلسفه کانت می‌آمد; اما اثر کورنر کتاب سخت‌نویسی است از جانب یک نوکانتی آشنا با مبانی علوم سخت و( مانند ریاضی). کورنر ابتدا در مفهوم پیشینی و پسینی از یک طرف و تحلیلی و ترکیبی از طرف دیگر تردید می‌کند. شاید اگر کسی یادداشت قبلی بر کتاب اسکروتن را خوانده باشد، نیازی به تعریف‌های تحلیلی و ترکیبی نداشته باشد. به طور خلا‌صه می‌گوییم حکم تحلیلی، حکمی است که هیچ تعریف تازه‌ای از جهان ارائه نمی‌دهد; اما کورنر تعریف دیگری ارائه می‌کند که دارای بداعت و تازگی است. او اولا‌ معتقد است که کانت توجه خود را به احکام حملی محدود می‌کند. مثلا‌ حکم ماست سفید است، یک حکم حملی است که محمولی (مثل سفید) به موضوعی مثل ماست نسبت داده می‌شود. از نظر کانت و بر اساس تعریف حملی، حکم تحلیلی حکمی است که محمول دربردارنده موضوع است.