/*! tailwindcss v4.2.1 | MIT License | https://tailwindcss.com */
@layer properties{@supports (((-webkit-hyphens:none)) and (not (margin-trim:inline))) or ((-moz-orient:inline) and (not (color:rgb(from red r g b)))){*,:before,:after,::backdrop{--tw-rotate-x:initial;--tw-rotate-y:initial;--tw-rotate-z:initial;--tw-skew-x:initial;--tw-skew-y:initial;--tw-outline-style:solid;--tw-backdrop-blur:initial;--tw-backdrop-brightness:initial;--tw-backdrop-contrast:initial;--tw-backdrop-grayscale:initial;--tw-backdrop-hue-rotate:initial;--tw-backdrop-invert:initial;--tw-backdrop-opacity:initial;--tw-backdrop-saturate:initial;--tw-backdrop-sepia:initial}}}@layer theme{:root,:host{--font-sans:ui-sans-serif, system-ui, sans-serif, "Apple Color Emoji", "Segoe UI Emoji", "Segoe UI Symbol", "Noto Color Emoji";--font-mono:ui-monospace, SFMono-Regular, Menlo, Monaco, Consolas, "Liberation Mono", "Courier New", monospace;--spacing:.25rem;--default-font-family:var(--font-sans);--default-mono-font-family:var(--font-mono)}}@layer base{*,:after,:before,::backdrop{box-sizing:border-box;border:0 solid;margin:0;padding:0}::file-selector-button{box-sizing:border-box;border:0 solid;margin:0;padding:0}html,:host{-webkit-text-size-adjust:100%;tab-size:4;line-height:1.5;font-family:var(--default-font-family,ui-sans-serif, system-ui, sans-serif, "Apple Color Emoji", "Segoe UI Emoji", "Segoe UI Symbol", "Noto Color Emoji");font-feature-settings:var(--default-font-feature-settings,normal);font-variation-settings:var(--default-font-variation-settings,normal);-webkit-tap-highlight-color:transparent}hr{height:0;color:inherit;border-top-width:1px}abbr:where([title]){-webkit-text-decoration:underline dotted;text-decoration:underline dotted}h1,h2,h3,h4,h5,h6{font-size:inherit;font-weight:inherit}a{color:inherit;-webkit-text-decoration:inherit;-webkit-text-decoration:inherit;-webkit-text-decoration:inherit;-webkit-text-decoration:inherit;text-decoration:inherit}b,strong{font-weight:bolder}code,kbd,samp,pre{font-family:var(--default-mono-font-family,ui-monospace, SFMono-Regular, Menlo, Monaco, Consolas, "Liberation Mono", "Courier New", monospace);font-feature-settings:var(--default-mono-font-feature-settings,normal);font-variation-settings:var(--default-mono-font-variation-settings,normal);font-size:1em}small{font-size:80%}sub,sup{vertical-align:baseline;font-size:75%;line-height:0;position:relative}sub{bottom:-.25em}sup{top:-.5em}table{text-indent:0;border-color:inherit;border-collapse:collapse}:-moz-focusring{outline:auto}progress{vertical-align:baseline}summary{display:list-item}ol,ul,menu{list-style:none}img,svg,video,canvas,audio,iframe,embed,object{vertical-align:middle;display:block}img,video{max-width:100%;height:auto}button,input,select,optgroup,textarea{font:inherit;font-feature-settings:inherit;font-variation-settings:inherit;letter-spacing:inherit;color:inherit;opacity:1;background-color:#0000;border-radius:0}::file-selector-button{font:inherit;font-feature-settings:inherit;font-variation-settings:inherit;letter-spacing:inherit;color:inherit;opacity:1;background-color:#0000;border-radius:0}:where(select:is([multiple],[size])) optgroup{font-weight:bolder}:where(select:is([multiple],[size])) optgroup option{padding-inline-start:20px}::file-selector-button{margin-inline-end:4px}::placeholder{opacity:1}@supports (not ((-webkit-appearance:-apple-pay-button))) or (contain-intrinsic-size:1px){::placeholder{color:currentColor}@supports (color:color-mix(in lab, red, red)){::placeholder{color:color-mix(in oklab, currentcolor 50%, transparent)}}}textarea{resize:vertical}::-webkit-search-decoration{-webkit-appearance:none}::-webkit-date-and-time-value{min-height:1lh;text-align:inherit}::-webkit-datetime-edit{display:inline-flex}::-webkit-datetime-edit-fields-wrapper{padding:0}::-webkit-datetime-edit{padding-block:0}::-webkit-datetime-edit-year-field{padding-block:0}::-webkit-datetime-edit-month-field{padding-block:0}::-webkit-datetime-edit-day-field{padding-block:0}::-webkit-datetime-edit-hour-field{padding-block:0}::-webkit-datetime-edit-minute-field{padding-block:0}::-webkit-datetime-edit-second-field{padding-block:0}::-webkit-datetime-edit-millisecond-field{padding-block:0}::-webkit-datetime-edit-meridiem-field{padding-block:0}::-webkit-calendar-picker-indicator{line-height:1}:-moz-ui-invalid{box-shadow:none}button,input:where([type=button],[type=reset],[type=submit]){appearance:button}::file-selector-button{appearance:button}::-webkit-inner-spin-button{height:auto}::-webkit-outer-spin-button{height:auto}[hidden]:where(:not([hidden=until-found])){display:none!important}}@layer components;@layer utilities{.invisible{visibility:hidden}.visible{visibility:visible}.absolute{position:absolute}.relative{position:relative}.static{position:static}.start{inset-inline-start:var(--spacing)}.end{inset-inline-end:var(--spacing)}.block{display:block}.contents{display:contents}.flex{display:flex}.inline{display:inline}.table{display:table}.table-caption{display:table-caption}.table-cell{display:table-cell}.table-row{display:table-row}.grow{flex-grow:1}.transform{transform:var(--tw-rotate-x,) var(--tw-rotate-y,) var(--tw-rotate-z,) var(--tw-skew-x,) var(--tw-skew-y,)}.italic{font-style:italic}.underline{text-decoration-line:underline}.outline{outline-style:var(--tw-outline-style);outline-width:1px}.backdrop-filter{-webkit-backdrop-filter:var(--tw-backdrop-blur,) var(--tw-backdrop-brightness,) var(--tw-backdrop-contrast,) var(--tw-backdrop-grayscale,) var(--tw-backdrop-hue-rotate,) var(--tw-backdrop-invert,) var(--tw-backdrop-opacity,) var(--tw-backdrop-saturate,) var(--tw-backdrop-sepia,);backdrop-filter:var(--tw-backdrop-blur,) var(--tw-backdrop-brightness,) var(--tw-backdrop-contrast,) var(--tw-backdrop-grayscale,) var(--tw-backdrop-hue-rotate,) var(--tw-backdrop-invert,) var(--tw-backdrop-opacity,) var(--tw-backdrop-saturate,) var(--tw-backdrop-sepia,)}}:root{--blue:#1b55c5;--blue-dark:#123d91;--blue-soft:#eef4ff;--paper:#fbfaf7;--surface:#fff;--ink:#191919;--muted:#656565;--rule:#dedbd4;--shadow:0 20px 60px #19233c1f}html{scroll-behavior:smooth;height:100%;scroll-padding-top:3.6rem;overflow:hidden}html[data-theme=dark]{--blue:#78a5ff;--blue-dark:#a8c4ff;--blue-soft:#172440;--paper:#101218;--surface:#171a22;--ink:#f2f0ea;--muted:#aaaeb8;--rule:#343945;--shadow:0 20px 60px #00000059}*{box-sizing:border-box}body{background:var(--paper);height:100%;color:var(--ink);overscroll-behavior:none;text-rendering:optimizelegibility;margin:0;font-family:Georgia,Times New Roman,serif;overflow:hidden}button,a{-webkit-tap-highlight-color:transparent}a{color:inherit}button{font:inherit}.book-app{height:100dvh;min-height:0;position:relative;overflow:hidden}.topbar{background:var(--paper);border-bottom:1px solid var(--rule);z-index:1000;grid-template-columns:1fr auto 1fr;align-items:center;width:100%;height:3rem;padding:0 1.25rem;display:grid;position:absolute;top:0;left:0;right:0}.brand{color:var(--blue);letter-spacing:-.025em;justify-content:center;align-items:baseline;font-family:Arial,Helvetica,sans-serif;font-size:1rem;font-weight:800;text-decoration:none;display:flex}.brand em{margin:0 -.02em;font-family:Georgia,serif;font-size:1.35em}.reader-controls{justify-content:flex-end;gap:.35rem;display:flex}.back-button{gap:.35rem}.back-button>span:first-child{font-size:1.15rem;line-height:1}.icon-button,.close-button{color:var(--ink);cursor:pointer;background:0 0;border:0;border-radius:.6rem;justify-content:center;align-items:center;gap:.45rem;min-width:2.2rem;min-height:2.2rem;padding:.3rem .5rem;font-family:Arial,Helvetica,sans-serif;font-size:.8rem;font-weight:700;display:inline-flex}.icon-button:hover,.close-button:hover{background:var(--blue-soft);color:var(--blue)}.icon-button:focus-visible,.close-button:focus-visible,a:focus-visible,.table-scroll:focus-visible,.proof-scroll:focus-visible{outline:3px solid var(--blue)}@supports (color:color-mix(in lab, red, red)){.icon-button:focus-visible,.close-button:focus-visible,a:focus-visible,.table-scroll:focus-visible,.proof-scroll:focus-visible{outline:3px solid color-mix(in srgb, var(--blue) 65%, transparent)}}.icon-button:focus-visible,.close-button:focus-visible,a:focus-visible,.table-scroll:focus-visible,.proof-scroll:focus-visible{outline-offset:3px}.icon-button:disabled{cursor:default;opacity:.35}.toc-panel{background:var(--surface);border-right:1px solid var(--rule);box-shadow:var(--shadow);z-index:50;width:21rem;max-width:calc(100vw - 2.5rem);height:auto;padding:1.5rem;transition:transform .18s;position:absolute;top:0;bottom:0;left:0;overflow-y:auto;transform:translate(-105%)}.toc-panel.is-open{transform:translate(0)}.toc-scrim{cursor:pointer;opacity:0;pointer-events:none;z-index:40;background:#0000006b;border:0;transition:opacity .18s;position:absolute;inset:0}.toc-scrim.is-open{opacity:1;pointer-events:auto}.toc-heading{border-bottom:1px solid var(--rule);justify-content:space-between;align-items:flex-start;margin-bottom:1.25rem;padding-bottom:1rem;display:flex}.toc-heading h2{margin:.15rem 0 0;font-family:Arial,Helvetica,sans-serif;font-size:1.6rem}.close-button{font-size:1.7rem}.eyebrow{color:var(--blue);letter-spacing:.16em;text-transform:uppercase;font-family:Arial,Helvetica,sans-serif;font-size:.72rem;font-weight:800}.toc-panel nav{flex-direction:column;gap:.25rem;display:flex}.toc-panel nav a{border-radius:.65rem;grid-template-columns:2rem 1fr;align-items:flex-start;gap:.75rem;padding:.75rem;font-family:Arial,Helvetica,sans-serif;font-size:.92rem;line-height:1.35;text-decoration:none;display:grid}.toc-panel nav a:hover{background:var(--blue-soft);color:var(--blue)}.toc-number{color:var(--blue);font-variant-numeric:tabular-nums;font-weight:800}.toc-part{color:var(--muted);letter-spacing:.1em;text-transform:uppercase;margin:1.1rem 0 .2rem;padding:0 .75rem;font-family:Arial,Helvetica,sans-serif;font-size:.7rem;font-weight:800}.toc-note{border-top:1px solid var(--rule);color:var(--muted);margin:1.5rem 0 0;padding-top:1.25rem;font-size:.84rem;line-height:1.55}.reader{font-size:calc(1rem * var(--reader-scale,1));overscroll-behavior:contain;scroll-behavior:smooth;-webkit-overflow-scrolling:touch;max-width:75rem;height:100dvh;margin:0 auto;padding:6rem 2rem 3rem;scroll-padding-top:4rem;overflow:hidden auto}.hero{grid-template-columns:minmax(0,1.1fr) minmax(16rem,.72fr);align-items:center;gap:clamp(2rem,7vw,6rem);min-height:calc(100vh - 10rem);display:grid}.hero h1{color:var(--blue);letter-spacing:-.07em;margin:1.25rem 0 0;font-family:Arial,Helvetica,sans-serif;font-size:clamp(3.6rem,8vw,7.2rem);font-weight:850;line-height:.77}.hero h1 em{font-family:Georgia,serif;font-size:1.15em}.hero h1 span{letter-spacing:-.045em;text-transform:uppercase;margin:.45em 0 0 1.65em;font-size:.56em;line-height:1.05;display:block}.subtitle{letter-spacing:-.04em;max-width:18ch;margin:2rem 0 0;font-family:Arial,Helvetica,sans-serif;font-size:clamp(1.5rem,3.2vw,2.65rem);font-weight:800;line-height:1.05}.hero-summary{color:var(--muted);max-width:38rem;margin:1.6rem 0 0;font-size:1.05em;line-height:1.75}.hero-actions{flex-wrap:wrap;gap:.75rem;margin-top:2rem;display:flex}.primary-action,.secondary-action{border:1px solid var(--blue);border-radius:999px;padding:.85rem 1.2rem;font-family:Arial,Helvetica,sans-serif;font-size:.82rem;font-weight:800;text-decoration:none}.primary-action{background:var(--blue);color:#fff}.secondary-action{color:var(--blue)}.cover-card{background:var(--surface);box-shadow:var(--shadow);margin:0;padding:1.25rem 1.25rem 1rem;transform:rotate(1.5deg)}.cover-card img{aspect-ratio:1/1.18;object-fit:cover;width:100%;height:auto;display:block}.cover-card figcaption{color:var(--muted);letter-spacing:.08em;text-transform:uppercase;padding-top:.8rem;font-family:Arial,Helvetica,sans-serif;font-size:.68rem}.prototype-note{background:var(--blue-soft);border-left:.35rem solid var(--blue);max-width:52rem;margin:4rem auto 9rem;padding:1.35rem 1.5rem}.prototype-note strong{color:var(--blue);font-family:Arial,Helvetica,sans-serif}.prototype-note p{margin:.45rem 0 0;line-height:1.65}.chapter{max-width:46rem;margin:0 auto;padding:1rem 0 10rem;font-size:1.08em;line-height:1.54}.chapter p{margin:1em 0}.chapter-header{margin-bottom:3.5rem;padding-top:1rem;position:relative}.chapter-header p{letter-spacing:.1em;text-transform:uppercase;margin:0 0 .85rem;font-family:Arial,Helvetica,sans-serif;font-size:.82em;font-weight:850}.chapter-header h2{color:var(--blue);letter-spacing:-.05em;max-width:10ch;margin:0;font-size:clamp(3.2rem,8.5vw,5.8rem);font-style:italic;line-height:.98}.chapter-rule{background:var(--blue);width:min(17rem,70%);height:.32rem;position:absolute;bottom:-1.4rem;left:-1.5rem}.chapter h3{letter-spacing:-.02em;margin:3.25rem 0 1.1rem;font-family:Arial,Helvetica,sans-serif;font-size:1.2em}.chapter dfn{color:var(--blue);font-variant:small-caps;letter-spacing:.035em;font-style:normal;font-weight:700}.math,.display-formula{white-space:nowrap;font-family:Times New Roman,Georgia,serif;font-style:italic}.display-formula{text-align:center;font-size:1.35em}.definition-box{background:var(--blue-soft)}@supports (color:color-mix(in lab, red, red)){.definition-box{background:color-mix(in srgb, var(--blue-soft) 62%, var(--surface))}}.definition-box{border:2px solid var(--blue);border-radius:.4rem;margin:2rem 0;padding:1.15rem 1.35rem 1rem;position:relative;box-shadow:0 7px 24px #19326e12}.definition-box.compact{margin-top:2.5rem}.definition-box p{margin:0}.definition-label{background:var(--blue);color:#fff;letter-spacing:.1em;text-transform:uppercase;padding:.28rem .55rem;font-family:Arial,Helvetica,sans-serif;font-size:.65rem;font-weight:850;position:absolute;top:-.85rem;left:1rem}.table-scroll,.proof-scroll{scrollbar-color:var(--blue) var(--blue-soft);margin:2rem calc(50% - 50vw);padding:0 1.25rem .8rem;overflow-x:auto}.truth-table-figure{width:100%;margin:2rem 0}.truth-table-figure .table-scroll{margin-top:0;margin-bottom:0}.truth-table{background:var(--surface);border-collapse:collapse;box-shadow:var(--shadow);min-width:25.5rem;margin:0 auto;font-family:Arial,Helvetica,sans-serif;font-size:.95em}.truth-table th,.truth-table td{border-bottom:1px solid var(--rule);text-align:center;min-width:2.75rem;padding:.72rem .55rem}.truth-table thead th{border-bottom:2px solid var(--ink);font-style:italic}.truth-table .divider{border-left:2px solid var(--ink)}.truth-table .main-connective{background:var(--blue-soft);color:var(--blue);font-weight:900}.table-caption{color:var(--muted);text-align:center;width:100%;max-width:42rem;margin:.9rem auto 0;padding:0 1.25rem;font-family:Arial,Helvetica,sans-serif;font-size:.76em;line-height:1.5;display:block}.next-chapter{border-bottom:1px solid var(--rule);border-top:1px solid var(--rule);color:var(--blue);flex-direction:column;margin-top:4rem;padding:1.2rem 0;font-family:Arial,Helvetica,sans-serif;font-size:1.05em;font-weight:800;text-decoration:none;display:flex}.next-chapter span{color:var(--muted);letter-spacing:.08em;text-transform:uppercase;font-size:.65em}.argument-card{background:var(--blue-soft);text-align:center;margin:2rem 0;padding:1rem 1.25rem}.argument-card>span{color:var(--blue);letter-spacing:.1em;text-transform:uppercase;font-family:Arial,Helvetica,sans-serif;font-size:.65rem;font-weight:850}.argument-card p{margin:.45rem 0 0}.fitch-proof{background:var(--surface);box-shadow:var(--shadow);width:max-content;min-width:0;margin:0 auto;padding:1.35rem 1.5rem;font-family:Times New Roman,Georgia,serif;line-height:1.78;display:table}.fitch-row{display:table-row}.fitch-number,.fitch-formula,.fitch-justification{vertical-align:middle;height:2.35rem;display:table-cell}.fitch-number{font-variant-numeric:tabular-nums;text-align:right;width:2.3rem;padding-right:.8rem}.fitch-formula{padding-left:calc(1.1rem + var(--proof-level) * 1.55rem);white-space:nowrap;position:relative}.fitch-bar{bottom:-.02rem;left:calc(var(--bar-index) * 1.55rem + .35rem);background:currentColor;width:1.5px;position:absolute;top:-.02rem}.fitch-bar.proof-start,.fitch-bar.subproof-start{top:.26rem}.fitch-bar.proof-end,.fitch-bar.subproof-end{bottom:.26rem}.fitch-assumption{padding:.15rem .3rem .28rem 0;display:inline-block;position:relative}.fitch-assumption:after{content:"";background:currentColor;height:1.5px;position:absolute;bottom:0;left:-.75rem;right:-.55rem}.fitch-assumption:before{content:"";background:currentColor;width:1.5px;height:.5rem;position:absolute;bottom:0;left:-.75rem}.fitch-justification{white-space:nowrap;padding-left:1.5em;font-family:Arial,Helvetica,sans-serif;font-size:.86em}.book-footer{border-top:1px solid var(--rule);color:var(--muted);justify-content:space-between;align-items:center;margin-top:2rem;padding:1.5rem 0 0;font-family:Arial,Helvetica,sans-serif;font-size:.72rem;display:flex}.book-footer a{color:var(--blue);font-weight:800;text-decoration:none}.book-toc .toc-entry{display:contents}.book-toc nav a.is-current{background:var(--blue-soft);color:var(--blue);font-weight:800}.compact-hero{min-height:min(47rem,100vh - 8rem);padding-bottom:5rem}.reader-guide{background:var(--blue-soft)}@supports (color:color-mix(in lab, red, red)){.reader-guide{background:color-mix(in srgb, var(--blue-soft) 62%, var(--surface))}}.reader-guide{border-left:.3rem solid var(--blue);max-width:52rem;margin:1rem auto 5rem;padding:1.3rem 1.5rem 1.35rem}.reader-guide h2{margin:.35rem 0 .75rem;font-family:Arial,Helvetica,sans-serif;font-size:1.28rem}.reader-guide ul{margin:0;padding-left:1.25rem}.reader-guide li{margin:.34rem 0;line-height:1.5}.reader-guide a{color:var(--blue);font-weight:800}.book-index{border-top:1px solid var(--rule);max-width:64rem;margin:2rem auto 8rem;padding-top:4rem}.book-index>header h2{color:var(--blue);letter-spacing:-.045em;margin:.45rem 0 3rem;font-size:clamp(2.2rem,5vw,4rem);font-style:italic;line-height:1}.part-group{border-top:1px solid var(--rule);padding:2.25rem 0 3.5rem}.part-group h3{letter-spacing:-.035em;margin:0 0 1.35rem;font-size:clamp(1.65rem,3vw,2.35rem)}.part-group h3 span{color:var(--blue);letter-spacing:.12em;text-transform:uppercase;margin-bottom:.45rem;font-family:Arial,Helvetica,sans-serif;font-size:.65rem;font-style:normal;font-weight:850;display:block}.chapter-grid{grid-template-columns:repeat(2,minmax(0,1fr));gap:.65rem;display:grid}.chapter-card{background:var(--surface);border:1px solid var(--rule);border-radius:.55rem;grid-template-columns:2.3rem 1fr auto;align-items:center;gap:.9rem;min-height:4.7rem;padding:.9rem 1rem;font-family:Arial,Helvetica,sans-serif;line-height:1.35;text-decoration:none;display:grid}.chapter-card:hover{border-color:var(--blue);color:var(--blue)}.chapter-card>span{color:var(--blue);font-variant-numeric:tabular-nums;font-size:.78rem;font-weight:850}.chapter-card>strong{font-size:.88rem}.chapter-card>b{color:var(--blue)}.reader-loading,.reader-error{text-align:center;max-width:42rem;margin:8rem auto;font-family:Arial,Helvetica,sans-serif}.reader-error{color:#b32828}.book-chapter .chapter-header h1{color:var(--blue);letter-spacing:-.05em;max-width:11ch;margin:0;font-size:clamp(3.2rem,8.5vw,5.8rem);font-style:italic;line-height:.98}.chapter-content h3,.chapter-content h4,.chapter-content h5,.chapter-content h6{letter-spacing:-.025em;scroll-margin-top:6rem;font-family:Arial,Helvetica,sans-serif;line-height:1.2}.chapter-content h3{margin:3.5rem 0 1.15rem;font-size:1.3em;font-weight:800}.chapter-content h4{color:var(--blue);margin:2.5rem 0 .9rem;font-size:1.1em;font-weight:800}.chapter-content h5,.chapter-content h6{margin:2rem 0 .75rem;font-size:.93em}.chapter-content h6{color:var(--muted)}.chapter-content .section-number{color:var(--ink);font-variant-numeric:tabular-nums;margin-right:.42em;display:inline-block}.chapter-content a{color:var(--blue);text-underline-offset:.14em;text-decoration-thickness:.08em}.chapter-content ul,.chapter-content ol{margin:1.15rem 0;padding-left:1.55rem}.chapter-content>ul,.chapter-content>ol{margin-left:1.25rem}.chapter-content ul{list-style-type:disc}.chapter-content ol{list-style-type:decimal;list-style-position:outside}.chapter-content li{margin:.12em 0;padding-left:.25rem}.chapter-content li>p{margin:0;line-height:1.4}:is(.chapter-content :is(ul,ol):has(>li>p>.custom-list-marker),.chapter-content ol:has(>li>p>.example-number)){margin-top:1rem;margin-bottom:1rem}:is(.chapter-content li:has(>.example-number),.chapter-content li:has(>p>.example-number),.chapter-content li:has(>.custom-list-marker),.chapter-content li:has(>p>.custom-list-marker)){list-style:none}.chapter-content .custom-list-marker{font-variant-numeric:tabular-nums;text-align:right;min-width:2.05rem;margin-left:-2.25rem;padding-right:.55rem;display:inline-block}.chapter-content .list-label-therefore{font-family:Times New Roman,Georgia,serif;font-size:1.08em}.chapter-content ol:has(>li>p>.list-label-therefore){margin:1.45rem 0 1.8rem 1.4rem;padding-left:2.25rem;display:table}.chapter-content ol:has(>li>p>.list-label-therefore)>li{margin-top:0;margin-bottom:0;line-height:1.4}.chapter-content ol:has(>li>p>.list-label-therefore)>li>p{margin-top:0;margin-bottom:0;line-height:1.4}.chapter-content ol:has(>li>p>.list-label-therefore)+ol:has(>li>p>.list-label-therefore){margin-top:2.15rem}.chapter-content dl:has(>dd>ol>li>p>.list-label-therefore)>dd>ol{margin-top:.25rem;margin-bottom:.55rem}.chapter-content .exercise-part{margin:1.9rem 0 .75rem}.chapter-content .exercise-part-label{color:var(--blue);margin-right:.42rem;font-family:Arial,Helvetica,sans-serif;font-size:1.22em;font-weight:900;line-height:1;display:inline-block}.chapter-content .example-number{font-variant-numeric:tabular-nums;min-width:1.8rem;margin-left:-1.8rem;display:inline-block}.chapter-content dl{border-left:.24rem solid var(--blue-soft);margin:1.5rem 0;padding-left:1.1rem}.chapter-content dt{color:var(--blue);margin-top:1rem;font-family:Arial,Helvetica,sans-serif;font-weight:850}.chapter-content dd{margin:.25rem 0 .85rem}.chapter-content .symbolization-key dl{text-align:left;border-left:0;grid-template-columns:max-content minmax(0,1fr);gap:.22rem .35rem;margin:1.35rem 0 1.35rem 1.25rem;padding-left:0;display:grid}.chapter-content .symbolization-key dt{color:var(--ink);grid-column:1;justify-content:flex-end;align-items:baseline;margin:0;font-family:Times New Roman,Georgia,serif;font-weight:400;display:flex}.chapter-content .symbolization-key .key-colon{margin-left:.08em}.chapter-content .symbolization-key dd{text-align:left;grid-column:2;min-width:0;margin:0}.chapter-content .symbolization-key dd>p{margin:0}.chapter-content blockquote{border-left:.28rem solid var(--blue);color:var(--muted);margin:1.8rem 0;padding:.1rem 0 .1rem 1.25rem}.chapter-content .smallcaps{font-variant:small-caps;letter-spacing:.035em}.chapter-content .center{text-align:center}.chapter-content .center>p{font-size:1.06em}.chapter-content .display-math{width:100%;max-width:100%;margin:1.35rem 0;padding:.2rem 0;overflow:auto hidden}.chapter-content .display-math+.display-math{margin-top:-.55rem}.chapter-content .display-math-inner{justify-content:center;align-items:center;width:max-content;min-width:100%;display:flex}.chapter-content .display-math math[display=block]{flex:none;max-width:none;margin:0;padding:0;font-size:1.06em;display:block}.chapter-content .display-math:has(mtable>mtr+mtr) mtr+mtr>mtd{padding-top:.46em}.chapter-content math[display=inline]{font-size:1.01em}.chapter-content svg.predicate-blank{vertical-align:-.08em;width:2em;height:.5em;display:inline-block;overflow:visible}.chapter-content svg.predicate-blank line{stroke:currentColor;stroke-linecap:square;stroke-width:1.35px;vector-effect:non-scaling-stroke}.chapter-content .math-fallback{white-space:nowrap;font-family:Times New Roman,Georgia,serif;font-style:italic}.book-diagram{text-align:center;max-width:100%;margin:2.2rem auto;padding:.75rem;overflow-x:auto}.book-diagram img{min-width:min(100%,14rem);max-width:min(100%,34rem);height:auto;display:inline-block}.license-mark{text-align:center;margin:2rem 0 1.5rem}.license-mark img{width:7.8rem;height:auto;display:inline-block}.chapter-content .factoidboxe{background:var(--blue-soft)}@supports (color:color-mix(in lab, red, red)){.chapter-content .factoidboxe{background:color-mix(in srgb, var(--blue-soft) 62%, var(--surface))}}.chapter-content .factoidboxe{border:2px solid var(--blue);border-radius:.4rem;margin:2.3rem 0;padding:1.15rem 1.35rem;box-shadow:0 7px 24px #19326e12}.chapter-content .factoidboxe>:first-child{margin-top:0}.chapter-content .factoidboxe>:last-child{margin-bottom:0}.chapter-content .factoidboxe ul,.chapter-content .factoidboxe ol{margin-block:.4rem}.converted-table table{background:var(--surface);border-collapse:collapse;box-shadow:var(--shadow);width:max-content;margin:0 auto;font-family:Arial,Helvetica,sans-serif;font-size:.88em}.converted-table table.prose-table{table-layout:fixed;width:min(58rem,100%);min-width:40rem;line-height:1.35}.converted-table table.prose-table th,.converted-table table.prose-table td{overflow-wrap:break-word;white-space:normal}.converted-table th,.converted-table td{border-bottom:1px solid var(--rule);text-align:center;vertical-align:middle;padding:.58rem .48rem}.converted-table th{border-bottom:2px solid var(--ink);font-weight:850}.converted-table caption{caption-side:bottom;color:var(--muted);padding:.9rem 1rem 0;font-size:.82em;line-height:1.5}.converted-table td+td,.converted-table th+th{border-left:1px solid var(--rule)}@supports (color:color-mix(in lab, red, red)){.converted-table td+td,.converted-table th+th{border-left:1px solid color-mix(in srgb, var(--rule) 70%, transparent)}}.converted-table .truth-table td:has(>span>strong){background:var(--blue-soft);color:var(--blue);font-weight:900}.converted-table .odd,.converted-table tr:nth-child(odd){background:var(--blue-soft)}@supports (color:color-mix(in lab, red, red)){.converted-table .odd,.converted-table tr:nth-child(odd){background:color-mix(in srgb, var(--blue-soft) 35%, transparent)}}.converted-table .truth-table{border-collapse:collapse;box-shadow:var(--shadow);min-width:0;font-size:.9em}.converted-table .truth-table th,.converted-table .truth-table td{min-width:2.15rem;padding:.5rem .38rem}.converted-table .truth-table .truth-header-final th,.converted-table .truth-table .truth-header-final td{border-bottom:2px solid var(--ink)}.converted-table .truth-table td+td,.converted-table .truth-table th+th{border-left:0}.converted-table .truth-table .divider{border-left:2px solid var(--ink)}.converted-table .truth-table .main-connective{background:var(--blue-soft);color:var(--blue);font-weight:900}.converted-table .truth-table tr:nth-child(odd){background:0 0}.converted-proof{margin-block:2.2rem}.converted-proof .fitch-proof{font-size:1.06em}.converted-proof .fitch-formula math{font-size:1em}.footnotes{border-top:1px solid var(--rule);color:var(--muted);margin-top:4rem;padding-top:1.25rem;font-size:.84em}.footnote-ref,.footnote-back{font-family:Arial,Helvetica,sans-serif;font-weight:800}.footnote-ref{margin-left:.08em;font-size:1em;line-height:0}.footnote-ref sup{font-size:.82em}.footnote-back{margin-left:.28em;font-size:1.4em;line-height:.8;text-decoration:none;display:inline-block}.chapter-content svg.math-boxed-term{vertical-align:-.18em;width:1.26em;height:1.26em;display:inline-block;overflow:visible}.chapter-content svg.math-boxed-term rect{fill:none;stroke:currentColor;stroke-width:1.35px}.chapter-content svg.math-boxed-term text{fill:currentColor;font-family:STIX Two Math,Cambria Math,Times New Roman,serif;font-size:17px;font-style:italic}.chapter-content .math-boxed-expression{border:.055em solid;margin:.06em;padding:.12em .2em}.chapter-content .math-boxed-expression>mtr>mtd{padding:0}.chapter-navigation{border-top:1px solid var(--rule);grid-template-columns:1fr 1fr;gap:1rem;margin-top:5rem;padding-top:1.4rem;display:grid}.chapter-navigation a{color:var(--blue);flex-direction:column;font-family:Arial,Helvetica,sans-serif;font-size:.86rem;font-weight:800;line-height:1.4;text-decoration:none;display:flex}.chapter-navigation a span{color:var(--muted);letter-spacing:.08em;text-transform:uppercase;margin-bottom:.25rem;font-size:.66rem}.chapter-navigation a.next{text-align:right}@media (width>=78rem){.toc-panel{box-shadow:none;z-index:20;width:19rem;top:3rem;transform:translate(0)}.toc-heading .close-button,.toc-scrim,.toc-button{display:none}.reader{width:calc(100vw - 19rem);max-width:none;margin-left:19rem;margin-right:0}.table-scroll,.proof-scroll{margin-left:calc(50% - 50vw + 9.5rem);margin-right:calc(50% - 50vw + 9.5rem)}.topbar{padding-left:20rem}}@media (width<=48rem){.topbar{grid-template-columns:auto 1fr auto;padding:0 .6rem}.brand{font-size:.82rem}.toc-button span:last-child{display:none}.reader-controls{gap:0}.back-button-label{display:none}.icon-button{padding-inline:.35rem}.reader{padding:4.6rem 1.25rem 2rem}.hero{flex-direction:column;min-height:auto;padding:2rem 0 5rem;display:flex}.hero-copy{width:100%}.hero h1{font-size:clamp(3.3rem,19vw,5.6rem)}.cover-card{width:100%;max-width:23rem;transform:none}.prototype-note{margin:1rem 0 7rem}.chapter{padding-bottom:7rem;line-height:1.54}.chapter-header{margin-bottom:3rem}.chapter-header h2,.book-chapter .chapter-header h1{font-size:clamp(3rem,15vw,4.8rem)}.chapter-rule{left:-1.25rem}.table-scroll,.proof-scroll{margin-left:-1.25rem;margin-right:-1.25rem}.definition-box{padding-inline:1rem}.book-footer{flex-direction:column;align-items:flex-start;gap:.5rem}.chapter-grid{grid-template-columns:1fr}.book-index{margin-bottom:4rem}.chapter-content .factoidboxe{padding-inline:1rem}.chapter-content>ul,.chapter-content>ol,.chapter-content .symbolization-key dl{margin-left:.75rem}.chapter-navigation{grid-template-columns:1fr}.chapter-navigation a.next{text-align:left}}@media (prefers-reduced-motion:reduce){html{scroll-behavior:auto}.toc-panel,.toc-scrim{transition:none}}@property --tw-rotate-x{syntax:"*";inherits:false}@property --tw-rotate-y{syntax:"*";inherits:false}@property --tw-rotate-z{syntax:"*";inherits:false}@property --tw-skew-x{syntax:"*";inherits:false}@property --tw-skew-y{syntax:"*";inherits:false}@property --tw-outline-style{syntax:"*";inherits:false;initial-value:solid}@property --tw-backdrop-blur{syntax:"*";inherits:false}@property --tw-backdrop-brightness{syntax:"*";inherits:false}@property --tw-backdrop-contrast{syntax:"*";inherits:false}@property --tw-backdrop-grayscale{syntax:"*";inherits:false}@property --tw-backdrop-hue-rotate{syntax:"*";inherits:false}@property --tw-backdrop-invert{syntax:"*";inherits:false}@property --tw-backdrop-opacity{syntax:"*";inherits:false}@property --tw-backdrop-saturate{syntax:"*";inherits:false}@property --tw-backdrop-sepia{syntax:"*";inherits:false}