@font-face{font-family:Fraunces;font-style:normal;font-weight:100 900;font-display:swap;src:url(/_next/static/media/287637279c44650d-s.woff2) format("woff2");unicode-range:u+0102-0103,u+0110-0111,u+0128-0129,u+0168-0169,u+01a0-01a1,u+01af-01b0,u+0300-0301,u+0303-0304,u+0308-0309,u+0323,u+0329,u+1ea0-1ef9,u+20ab}@font-face{font-family:Fraunces;font-style:normal;font-weight:100 900;font-display:swap;src:url(/_next/static/media/b387097da7407747-s.woff2) format("woff2");unicode-range:u+0100-02ba,u+02bd-02c5,u+02c7-02cc,u+02ce-02d7,u+02dd-02ff,u+0304,u+0308,u+0329,u+1d00-1dbf,u+1e00-1e9f,u+1ef2-1eff,u+2020,u+20a0-20ab,u+20ad-20c0,u+2113,u+2c60-2c7f,u+a720-a7ff}@font-face{font-family:Fraunces;font-style:normal;font-weight:100 900;font-display:swap;src:url(/_next/static/media/cb9f64d62d112b41-s.woff2) format("woff2");unicode-range:u+00??,u+0131,u+0152-0153,u+02bb-02bc,u+02c6,u+02da,u+02dc,u+0304,u+0308,u+0329,u+2000-206f,u+20ac,u+2122,u+2191,u+2193,u+2212,u+2215,u+feff,u+fffd}@font-face{font-family:Fraunces Fallback;src:local("Times New Roman");ascent-override:84.71%;descent-override:22.09%;line-gap-override:0.00%;size-adjust:115.45%}.__className_62ea05{font-family:Fraunces,Fraunces Fallback;font-style:normal}.__variable_62ea05{--font-fraunces:"Fraunces","Fraunces Fallback"}@font-face{font-family:Archivo;font-style:normal;font-weight:100 900;font-stretch:100%;font-display:swap;src:url(/_next/static/media/b06b356f834173cc-s.woff2) format("woff2");unicode-range:u+0102-0103,u+0110-0111,u+0128-0129,u+0168-0169,u+01a0-01a1,u+01af-01b0,u+0300-0301,u+0303-0304,u+0308-0309,u+0323,u+0329,u+1ea0-1ef9,u+20ab}@font-face{font-family:Archivo;font-style:normal;font-weight:100 900;font-stretch:100%;font-display:swap;src:url(/_next/static/media/23d669af23d19c95-s.woff2) format("woff2");unicode-range:u+0100-02ba,u+02bd-02c5,u+02c7-02cc,u+02ce-02d7,u+02dd-02ff,u+0304,u+0308,u+0329,u+1d00-1dbf,u+1e00-1e9f,u+1ef2-1eff,u+2020,u+20a0-20ab,u+20ad-20c0,u+2113,u+2c60-2c7f,u+a720-a7ff}@font-face{font-family:Archivo;font-style:normal;font-weight:100 900;font-stretch:100%;font-display:swap;src:url(/_next/static/media/1a4aa50920b5315c-s.p.woff2) format("woff2");unicode-range:u+00??,u+0131,u+0152-0153,u+02bb-02bc,u+02c6,u+02da,u+02dc,u+0304,u+0308,u+0329,u+2000-206f,u+20ac,u+2122,u+2191,u+2193,u+2212,u+2215,u+feff,u+fffd}@font-face{font-family:Archivo Fallback;src:local("Arial");ascent-override:88.96%;descent-override:21.28%;line-gap-override:0.00%;size-adjust:98.70%}.__className_5afde0{font-family:Archivo,Archivo Fallback;font-style:normal}.__variable_5afde0{--font-archivo:"Archivo","Archivo Fallback"}@font-face{font-family:Spline Sans Mono;font-style:normal;font-weight:300 700;font-display:swap;src:url(/_next/static/media/59829bb575d36b50-s.woff2) format("woff2");unicode-range:u+0100-02ba,u+02bd-02c5,u+02c7-02cc,u+02ce-02d7,u+02dd-02ff,u+0304,u+0308,u+0329,u+1d00-1dbf,u+1e00-1e9f,u+1ef2-1eff,u+2020,u+20a0-20ab,u+20ad-20c0,u+2113,u+2c60-2c7f,u+a720-a7ff}@font-face{font-family:Spline Sans Mono;font-style:normal;font-weight:300 700;font-display:swap;src:url(/_next/static/media/e02f7a71372872a3-s.p.woff2) format("woff2");unicode-range:u+00??,u+0131,u+0152-0153,u+02bb-02bc,u+02c6,u+02da,u+02dc,u+0304,u+0308,u+0329,u+2000-206f,u+20ac,u+2122,u+2191,u+2193,u+2212,u+2215,u+feff,u+fffd}@font-face{font-family:Spline Sans Mono Fallback;src:local("Arial");ascent-override:71.59%;descent-override:17.57%;line-gap-override:0.00%;size-adjust:134.59%}.__className_1999fd{font-family:Spline Sans Mono,Spline Sans Mono Fallback;font-style:normal}.__variable_1999fd{--font-mono-spline:"Spline Sans Mono","Spline Sans Mono Fallback"}.AppShell_shell__Gr7ap{display:flex;flex-direction:column;min-height:100dvh}.AppShell_masthead__tFQjK{position:-webkit-sticky;position:sticky;top:0;z-index:40;background:color-mix(in srgb,var(--paper) 88%,transparent);-webkit-backdrop-filter:blur(9px) saturate(1.1);backdrop-filter:blur(9px) saturate(1.1);-webkit-border-after:var(--hair) solid var(--rule);border-block-end:var(--hair) solid var(--rule)}.AppShell_mastheadInner__YycPO{display:flex;align-items:center;justify-content:space-between;gap:1rem;min-height:3.6rem}.AppShell_wordmark__5u7Cw{display:inline-flex;align-items:baseline;gap:.5rem;text-decoration:none;font-family:var(--font-display);font-size:var(--step-1);font-variation-settings:"SOFT" 10,"WONK" 1,"opsz" 20;letter-spacing:-.015em;line-height:1;white-space:nowrap}.AppShell_wordmarkDeviant__fTraz{color:var(--vermilion);display:inline-block;transform:translateY(-.09em) rotate(-7deg);transition:transform var(--dur-base) var(--ease-snap)}.AppShell_wordmark__5u7Cw:hover .AppShell_wordmarkDeviant__fTraz{transform:translateY(.06em) rotate(8deg)}.AppShell_wordmarkRule__x7Xnv{display:none;font-family:var(--font-ui);font-size:var(--step--2);letter-spacing:.14em;text-transform:uppercase;color:var(--ink-faint);-webkit-padding-start:.75rem;padding-inline-start:.75rem;-webkit-border-start:var(--hair) solid var(--rule);border-inline-start:var(--hair) solid var(--rule);align-self:center}@media (min-width:62rem){.AppShell_wordmarkRule__x7Xnv{display:inline-block}}.AppShell_nav__g2185{display:flex;align-items:center;gap:clamp(.75rem,2vw,1.6rem)}.AppShell_navLink__4JnuJ{font-size:var(--step--1);letter-spacing:.09em;text-transform:uppercase;text-decoration:none;color:var(--ink-soft);position:relative;padding-block:.35rem;transition:color var(--dur-fast) var(--ease-plate)}.AppShell_navLink__4JnuJ:after{content:"";position:absolute;left:0;right:0;bottom:0;height:1px;background:var(--vermilion);transform:scaleX(0);transform-origin:left;transition:transform var(--dur-base) var(--ease-plate)}.AppShell_navLink__4JnuJ:hover,.AppShell_navLink__4JnuJ[data-active=true]{color:var(--ink)}.AppShell_navLink__4JnuJ:hover:after,.AppShell_navLink__4JnuJ[data-active=true]:after{transform:scaleX(1)}@media (max-width:42rem){.AppShell_mastheadInner__YycPO{flex-wrap:wrap;gap:.35rem;padding-block:.6rem .35rem}.AppShell_nav__g2185{width:100%;justify-content:space-between;gap:.5rem}.AppShell_navLink__4JnuJ{font-size:var(--step--2);min-height:2.75rem;display:inline-flex;align-items:center}}.AppShell_main__pL7Q2{flex:1 1}.AppShell_colophon__Oqu3v{-webkit-margin-before:clamp(4rem,9vw,8rem);margin-block-start:clamp(4rem,9vw,8rem);-webkit-border-before:var(--hair) solid var(--rule);border-block-start:var(--hair) solid var(--rule);background:var(--paper-deep)}.AppShell_colophonInner__nAmZ6{display:grid;grid-gap:2rem;gap:2rem;padding-block:clamp(2rem,5vw,3.5rem);grid-template-columns:1fr}@media (min-width:46rem){.AppShell_colophonInner__nAmZ6{grid-template-columns:1.4fr 1fr 1fr}}.AppShell_colophonStatement__JWU8C{font-family:var(--font-display);font-size:var(--step-1);font-variation-settings:"SOFT" 30,"WONK" 1,"opsz" 18;line-height:1.3;max-width:22rem;text-wrap:balance}.AppShell_colophonList__5ZkXD{list-style:none;padding:0;display:flex;flex-direction:column;gap:.45rem;font-size:var(--step--1)}.AppShell_colophonList__5ZkXD a{text-decoration:none;color:var(--ink-soft)}.AppShell_colophonList__5ZkXD a:hover{color:var(--ink)}.AppShell_colophonHead__6WFQr{-webkit-margin-after:.85rem;margin-block-end:.85rem}.AppShell_fineprint__HTb0K{-webkit-border-before:var(--hair) solid var(--rule);border-block-start:var(--hair) solid var(--rule);padding-block:1.1rem;display:flex;justify-content:space-between;gap:1rem;flex-wrap:wrap;font-size:var(--step--2);color:var(--ink-faint);font-family:var(--font-mono);letter-spacing:.04em}.ThemeToggle_toggle__f_ckn{-webkit-appearance:none;-moz-appearance:none;appearance:none;background:transparent;border:var(--hair) solid var(--rule);border-radius:0;width:2.1rem;height:2.1rem;display:grid;place-items:center;cursor:pointer;color:var(--ink-soft);transition:color var(--dur-fast) var(--ease-plate),border-color var(--dur-fast) var(--ease-plate),background var(--dur-fast) var(--ease-plate)}.ThemeToggle_toggle__f_ckn:hover{color:var(--vermilion);border-color:var(--vermilion);background:var(--vermilion-wash)}.ThemeToggle_glyph__5W_Ee{width:1.05rem;height:1.05rem;fill:none;stroke:currentColor;stroke-width:1.2;overflow:visible}.ThemeToggle_disc__Q06S_{transition:r var(--dur-base) var(--ease-snap)}.ThemeToggle_rays__FgiSY line,.ThemeToggle_shade__SGRF0{transition:opacity var(--dur-base) var(--ease-plate)}.ThemeToggle_shade__SGRF0{fill:var(--paper);stroke:none;opacity:0}[data-theme=dark] .ThemeToggle_rays__FgiSY line{opacity:0}[data-theme=dark] .ThemeToggle_shade__SGRF0{opacity:1}@media (prefers-color-scheme:dark){:root:not([data-theme=light]) .ThemeToggle_rays__FgiSY line{opacity:0}:root:not([data-theme=light]) .ThemeToggle_shade__SGRF0{opacity:1}}:root{--paper:#f4efe6;--paper-deep:#eae2d4;--paper-sunk:#e0d6c4;--ink:#14202e;--ink-soft:#46586b;--ink-faint:#596776;--vermilion:#ae3c25;--vermilion-wash:rgba(174,60,37,0.1);--plate-blue:#1e4a78;--plate-blue-wash:rgba(30,74,120,0.1);--verdigris:#2f6b5e;--ochre:#b8862b;--violet-ink:#5b4b8a;--rule:rgba(20,32,46,0.16);--rule-strong:rgba(20,32,46,0.38);--rule-faint:rgba(20,32,46,0.07);--hair:1px;--grain-url:url("data:image/svg+xml,%3Csvg xmlns='http://www.w3.org/2000/svg' width='160' height='160'%3E%3Cfilter id='n'%3E%3CfeTurbulence type='fractalNoise' baseFrequency='0.8' numOctaves='4' stitchTiles='stitch'/%3E%3C/filter%3E%3Crect width='100%25' height='100%25' filter='url(%23n)'/%3E%3C/svg%3E");--grain-opacity:0.34;--grain-blend:multiply;--vignette:radial-gradient(ellipse 120% 90% at 50% 0%,transparent 40%,rgba(120,100,70,0.09) 100%);--font-display:var(--font-fraunces),"Iowan Old Style",Georgia,serif;--font-ui:var(--font-archivo),"Helvetica Neue",sans-serif;--font-mono:var(--font-mono-spline),"SFMono-Regular",Menlo,monospace;--step--2:clamp(0.7rem,0.68rem + 0.1vw,0.76rem);--step--1:clamp(0.82rem,0.79rem + 0.14vw,0.9rem);--step-0:clamp(0.98rem,0.95rem + 0.16vw,1.06rem);--step-1:clamp(1.18rem,1.12rem + 0.3vw,1.36rem);--step-2:clamp(1.44rem,1.33rem + 0.55vw,1.8rem);--step-3:clamp(1.78rem,1.57rem + 1.05vw,2.5rem);--step-4:clamp(2.2rem,1.8rem + 2vw,3.6rem);--step-5:clamp(2.7rem,1.9rem + 4vw,5.6rem);--step-6:clamp(3.2rem,1.7rem + 7.5vw,9rem);--gutter:clamp(1.1rem,0.7rem + 2vw,2.75rem);--measure:34rem;--page-max:78rem;--ease-plate:cubic-bezier(0.22,0.61,0.36,1);--ease-snap:cubic-bezier(0.34,1.32,0.64,1);--dur-fast:180ms;--dur-base:340ms;--dur-slow:620ms;--status-proved:var(--verdigris);--status-conjectured:var(--ochre);--status-open:var(--vermilion);--status-disproved:#8b2f2f;--status-observed:var(--plate-blue);--status-checked:var(--violet-ink);--status-heuristic:var(--ink-soft);color-scheme:light}[data-theme=dark]{--paper:#0e1720;--paper-deep:#16222e;--paper-sunk:#1d2c3a;--ink:#ede4d4;--ink-soft:#93a3b4;--ink-faint:#64758a;--vermilion:#e26044;--vermilion-wash:rgba(226,96,68,0.14);--plate-blue:#6e9dd1;--plate-blue-wash:rgba(110,157,209,0.14);--verdigris:#4e9c88;--ochre:#d6a648;--violet-ink:#9b8ad0;--rule:rgba(237,228,212,0.18);--rule-strong:rgba(237,228,212,0.42);--rule-faint:rgba(237,228,212,0.08);--grain-opacity:0.22;--grain-blend:overlay;--vignette:radial-gradient(ellipse 120% 90% at 50% 0%,transparent 42%,rgba(0,0,0,0.35) 100%);--status-disproved:#d4695f;color-scheme:dark}@media (prefers-color-scheme:dark){:root:not([data-theme=light]){--paper:#0e1720;--paper-deep:#16222e;--paper-sunk:#1d2c3a;--ink:#ede4d4;--ink-soft:#93a3b4;--ink-faint:#64758a;--vermilion:#e26044;--vermilion-wash:rgba(226,96,68,0.14);--plate-blue:#6e9dd1;--plate-blue-wash:rgba(110,157,209,0.14);--verdigris:#4e9c88;--ochre:#d6a648;--violet-ink:#9b8ad0;--rule:rgba(237,228,212,0.18);--rule-strong:rgba(237,228,212,0.42);--rule-faint:rgba(237,228,212,0.08);--grain-opacity:0.22;--grain-blend:overlay;--vignette:radial-gradient(ellipse 120% 90% at 50% 0%,transparent 42%,rgba(0,0,0,0.35) 100%);--status-disproved:#d4695f;color-scheme:dark}}*,:after,:before{box-sizing:border-box}*{margin:0}html{-webkit-text-size-adjust:100%;scroll-behavior:smooth}body{background:var(--paper);color:var(--ink);font-family:var(--font-ui);font-size:var(--step-0);line-height:1.6;font-synthesis-weight:none;text-rendering:optimizeLegibility;-webkit-font-smoothing:antialiased;min-height:100dvh;overflow-x:hidden}canvas,img,svg{display:block;max-width:100%}button,input,select,textarea{font:inherit;color:inherit}[role=button],a,button,summary{touch-action:manipulation}body:before{background-image:var(--grain-url);opacity:var(--grain-opacity);mix-blend-mode:var(--grain-blend)}body:after,body:before{content:"";position:fixed;inset:0;z-index:1;pointer-events:none}body:after{background:var(--vignette)}#app-root{position:relative;z-index:2}h1,h2,h3,h4{font-family:var(--font-display);font-weight:400;line-height:1.06;letter-spacing:-.018em;font-variation-settings:"SOFT" 18,"WONK" 1,"opsz" 40;text-wrap:balance}h1{font-size:var(--step-4)}h2{font-size:var(--step-3)}h3{font-size:var(--step-2)}p{text-wrap:pretty}a{color:inherit;-webkit-text-decoration-color:var(--rule-strong);text-decoration-color:var(--rule-strong);text-underline-offset:.22em;text-decoration-thickness:from-font;transition:-webkit-text-decoration-color var(--dur-fast) var(--ease-plate);transition:text-decoration-color var(--dur-fast) var(--ease-plate);transition:text-decoration-color var(--dur-fast) var(--ease-plate),-webkit-text-decoration-color var(--dur-fast) var(--ease-plate)}a:hover{-webkit-text-decoration-color:var(--vermilion);text-decoration-color:var(--vermilion)}.label{font-family:var(--font-ui);font-size:var(--step--2);font-weight:500;letter-spacing:.16em;text-transform:uppercase;color:var(--ink-soft);line-height:1}.num{font-family:var(--font-mono);font-variant-numeric:tabular-nums;font-feature-settings:"tnum" 1,"tnum"}.prose{max-width:none;font-size:var(--step-0);line-height:1.68}.prose>*+*{-webkit-margin-before:1em;margin-block-start:1em}.prose h2,.prose h3{-webkit-margin-before:1.9em;margin-block-start:1.9em;-webkit-margin-after:.55em;margin-block-end:.55em}.prose strong{font-weight:600}.prose em{font-style:italic}.prose code{font-family:var(--font-mono);font-size:.88em;background:var(--paper-deep);padding:.12em .36em;border:var(--hair) solid var(--rule)}.prose ol,.prose ul{-webkit-padding-start:1.3em;padding-inline-start:1.3em}.prose li+li{-webkit-margin-before:.4em;margin-block-start:.4em}.prose blockquote{-webkit-border-start:2px solid var(--vermilion);border-inline-start:2px solid var(--vermilion);-webkit-padding-start:1.1em;padding-inline-start:1.1em;font-family:var(--font-display);font-size:var(--step-1);font-variation-settings:"SOFT" 30,"WONK" 1,"opsz" 20;line-height:1.35}.page{width:100%;max-width:var(--page-max);margin-inline:auto;padding-inline:var(--gutter)}:focus{outline:none}:focus-visible{outline:2px solid var(--vermilion);outline-offset:3px}.skip-link{position:absolute;left:-9999px;top:0;z-index:100;background:var(--ink);color:var(--paper);padding:.7em 1.2em;font-size:var(--step--1);letter-spacing:.1em;text-transform:uppercase}.skip-link:focus{left:.5rem;top:.5rem}.visually-hidden{position:absolute;width:1px;height:1px;padding:0;margin:-1px;overflow:hidden;-webkit-clip-path:inset(50%);clip-path:inset(50%);white-space:nowrap;border:0}@media (prefers-reduced-motion:reduce){html{scroll-behavior:auto}*,:after,:before{animation-duration:.001ms!important;animation-iteration-count:1!important;transition-duration:.001ms!important}}.katex{font-size:1.04em;color:var(--ink)}.katex-display{overflow-x:auto;overflow-y:hidden;max-width:100%;padding-block:.35em;-webkit-padding-end:.6em;padding-inline-end:.6em}.katex-display,[class*=tableWrap],[class*=triangleWrap]{scrollbar-width:thin;scrollbar-color:var(--rule-strong) transparent}.prose pre,.prose table{overflow-x:auto;max-width:100%}