@font-face{font-family:Marcellus;font-style:normal;font-weight:400;font-display:swap;src:url(../media/50df388245113a6d-s.1odqrhin2722e.woff2)format("woff2");unicode-range:U+100-2BA,U+2BD-2C5,U+2C7-2CC,U+2CE-2D7,U+2DD-2FF,U+304,U+308,U+329,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:Marcellus;font-style:normal;font-weight:400;font-display:swap;src:url(../media/ec2f4458eb06f74e-s.p.217u6tza6brar.woff2)format("woff2");unicode-range:U+??,U+131,U+152-153,U+2BB-2BC,U+2C6,U+2DA,U+2DC,U+304,U+308,U+329,U+2000-206F,U+20AC,U+2122,U+2191,U+2193,U+2212,U+2215,U+FEFF,U+FFFD}@font-face{font-family:Marcellus Fallback;src:local(Times New Roman);ascent-override:86.59%;descent-override:24.87%;line-gap-override:0.0%;size-adjust:112.5%}.marcellus_16f38b9a-module__yXwS0W__className{font-family:Marcellus,Marcellus Fallback;font-style:normal;font-weight:400}.marcellus_16f38b9a-module__yXwS0W__variable{--font-marcellus:"Marcellus", "Marcellus Fallback"}
@font-face{font-family:IBM Plex Mono;font-style:italic;font-weight:400;font-display:swap;src:url(../media/3e29d6c8df211d66-s.34ll3n0a7axn8.woff2)format("woff2");unicode-range:U+460-52F,U+1C80-1C8A,U+20B4,U+2DE0-2DFF,U+A640-A69F,U+FE2E-FE2F}@font-face{font-family:IBM Plex Mono;font-style:italic;font-weight:400;font-display:swap;src:url(../media/2956efe007516702-s.2zs30e0rmfqle.woff2)format("woff2");unicode-range:U+301,U+400-45F,U+490-491,U+4B0-4B1,U+2116}@font-face{font-family:IBM Plex Mono;font-style:italic;font-weight:400;font-display:swap;src:url(../media/658fb2a9c2a0ea5d-s.0ucamigolj1gr.woff2)format("woff2");unicode-range:U+102-103,U+110-111,U+128-129,U+168-169,U+1A0-1A1,U+1AF-1B0,U+300-301,U+303-304,U+308-309,U+323,U+329,U+1EA0-1EF9,U+20AB}@font-face{font-family:IBM Plex Mono;font-style:italic;font-weight:400;font-display:swap;src:url(../media/7c125d9da13f978a-s.p.1voarg1k-ek7t.woff2)format("woff2");unicode-range:U+100-2BA,U+2BD-2C5,U+2C7-2CC,U+2CE-2D7,U+2DD-2FF,U+304,U+308,U+329,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:IBM Plex Mono;font-style:italic;font-weight:400;font-display:swap;src:url(../media/a46a75cfd765634f-s.p.1ftfy6l9h667-.woff2)format("woff2");unicode-range:U+??,U+131,U+152-153,U+2BB-2BC,U+2C6,U+2DA,U+2DC,U+304,U+308,U+329,U+2000-206F,U+20AC,U+2122,U+2191,U+2193,U+2212,U+2215,U+FEFF,U+FFFD}@font-face{font-family:IBM Plex Mono;font-style:italic;font-weight:500;font-display:swap;src:url(../media/c752d4f65d3e00e0-s.3y7xswp0tmq9f.woff2)format("woff2");unicode-range:U+460-52F,U+1C80-1C8A,U+20B4,U+2DE0-2DFF,U+A640-A69F,U+FE2E-FE2F}@font-face{font-family:IBM Plex Mono;font-style:italic;font-weight:500;font-display:swap;src:url(../media/151f074d78c0031d-s.2yxhuoqrbmyse.woff2)format("woff2");unicode-range:U+301,U+400-45F,U+490-491,U+4B0-4B1,U+2116}@font-face{font-family:IBM Plex Mono;font-style:italic;font-weight:500;font-display:swap;src:url(../media/3ee1b1187b5e60bc-s.3ulr42fti9i75.woff2)format("woff2");unicode-range:U+102-103,U+110-111,U+128-129,U+168-169,U+1A0-1A1,U+1AF-1B0,U+300-301,U+303-304,U+308-309,U+323,U+329,U+1EA0-1EF9,U+20AB}@font-face{font-family:IBM Plex Mono;font-style:italic;font-weight:500;font-display:swap;src:url(../media/ecc49aa4bef31f74-s.p.3_pu8gag5qjcz.woff2)format("woff2");unicode-range:U+100-2BA,U+2BD-2C5,U+2C7-2CC,U+2CE-2D7,U+2DD-2FF,U+304,U+308,U+329,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:IBM Plex Mono;font-style:italic;font-weight:500;font-display:swap;src:url(../media/21c1dee959b18079-s.p.2xfa7vbo49zde.woff2)format("woff2");unicode-range:U+??,U+131,U+152-153,U+2BB-2BC,U+2C6,U+2DA,U+2DC,U+304,U+308,U+329,U+2000-206F,U+20AC,U+2122,U+2191,U+2193,U+2212,U+2215,U+FEFF,U+FFFD}@font-face{font-family:IBM Plex Mono;font-style:normal;font-weight:400;font-display:swap;src:url(../media/e390973e931a41c5-s.3zhtymus0wdqb.woff2)format("woff2");unicode-range:U+460-52F,U+1C80-1C8A,U+20B4,U+2DE0-2DFF,U+A640-A69F,U+FE2E-FE2F}@font-face{font-family:IBM Plex Mono;font-style:normal;font-weight:400;font-display:swap;src:url(../media/59b15b4bcd7b1eb5-s.3nkuoiize4urq.woff2)format("woff2");unicode-range:U+301,U+400-45F,U+490-491,U+4B0-4B1,U+2116}@font-face{font-family:IBM Plex Mono;font-style:normal;font-weight:400;font-display:swap;src:url(../media/e532fa1b9921e1cd-s.1da667lu-u79a.woff2)format("woff2");unicode-range:U+102-103,U+110-111,U+128-129,U+168-169,U+1A0-1A1,U+1AF-1B0,U+300-301,U+303-304,U+308-309,U+323,U+329,U+1EA0-1EF9,U+20AB}@font-face{font-family:IBM Plex Mono;font-style:normal;font-weight:400;font-display:swap;src:url(../media/2fe89d53234c61d4-s.p.1i05ju5aeyhye.woff2)format("woff2");unicode-range:U+100-2BA,U+2BD-2C5,U+2C7-2CC,U+2CE-2D7,U+2DD-2FF,U+304,U+308,U+329,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:IBM Plex Mono;font-style:normal;font-weight:400;font-display:swap;src:url(../media/99e609270109b47d-s.p.1dgcou5jor5q_.woff2)format("woff2");unicode-range:U+??,U+131,U+152-153,U+2BB-2BC,U+2C6,U+2DA,U+2DC,U+304,U+308,U+329,U+2000-206F,U+20AC,U+2122,U+2191,U+2193,U+2212,U+2215,U+FEFF,U+FFFD}@font-face{font-family:IBM Plex Mono;font-style:normal;font-weight:500;font-display:swap;src:url(../media/5e05ae5b48faa55e-s.31-2bzhq1gx_9.woff2)format("woff2");unicode-range:U+460-52F,U+1C80-1C8A,U+20B4,U+2DE0-2DFF,U+A640-A69F,U+FE2E-FE2F}@font-face{font-family:IBM Plex Mono;font-style:normal;font-weight:500;font-display:swap;src:url(../media/a7afbb44bec2bb18-s.3xauquyg2sixn.woff2)format("woff2");unicode-range:U+301,U+400-45F,U+490-491,U+4B0-4B1,U+2116}@font-face{font-family:IBM Plex Mono;font-style:normal;font-weight:500;font-display:swap;src:url(../media/02263ebadd758ea4-s.2taws-qdxmzlf.woff2)format("woff2");unicode-range:U+102-103,U+110-111,U+128-129,U+168-169,U+1A0-1A1,U+1AF-1B0,U+300-301,U+303-304,U+308-309,U+323,U+329,U+1EA0-1EF9,U+20AB}@font-face{font-family:IBM Plex Mono;font-style:normal;font-weight:500;font-display:swap;src:url(../media/68757d6cddeff913-s.p.0htwiiqufp3l9.woff2)format("woff2");unicode-range:U+100-2BA,U+2BD-2C5,U+2C7-2CC,U+2CE-2D7,U+2DD-2FF,U+304,U+308,U+329,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:IBM Plex Mono;font-style:normal;font-weight:500;font-display:swap;src:url(../media/effe91970fc4db64-s.p.28xcb7557rbh2.woff2)format("woff2");unicode-range:U+??,U+131,U+152-153,U+2BB-2BC,U+2C6,U+2DA,U+2DC,U+304,U+308,U+329,U+2000-206F,U+20AC,U+2122,U+2191,U+2193,U+2212,U+2215,U+FEFF,U+FFFD}@font-face{font-family:IBM Plex Mono Fallback;src:local(Arial);ascent-override:76.16%;descent-override:20.43%;line-gap-override:0.0%;size-adjust:134.59%}.ibm_plex_mono_f8798367-module__4HiSCG__className{font-family:IBM Plex Mono,IBM Plex Mono Fallback}.ibm_plex_mono_f8798367-module__4HiSCG__variable{--font-plex-mono:"IBM Plex Mono", "IBM Plex Mono Fallback"}
:root{--paper:#f6f6f4;--ink:#212829;--body-text:#37403f;--wash:#5d6b6e;--hair:#21282945;--hair-soft:#21282921;--ember:#38707e;--serif:var(--font-marcellus), "Marcellus", "Iowan Old Style", Georgia, serif;--mono:var(--font-plex-mono), "IBM Plex Mono", ui-monospace, "SF Mono", Menlo, monospace;--ease-trace:cubic-bezier(.4, .2, .3, 1);--ease-ray:cubic-bezier(.3, .6, .3, 1);--frame:1240px;--pad:48px;--rail:176px;--measure:560px;--gutter:64px}@media (max-width:1179px){:root{--rail:140px;--gutter:52px}}@media (max-width:900px){:root{--pad:22px;--measure:100%}}*,:before,:after{box-sizing:border-box}html{-moz-text-size-adjust:100%;text-size-adjust:100%;scroll-behavior:smooth;background:var(--paper)}body{font-family:var(--mono);color:var(--ink);background:var(--paper);-webkit-font-smoothing:antialiased;-moz-osx-font-smoothing:grayscale;text-rendering:optimizelegibility;margin:0;font-size:14px;line-height:1.75;overflow-x:clip}h1,h2,h3{text-wrap:balance;margin:0;font-weight:400}p,figure,blockquote,ol,ul{margin:0}a{color:inherit}img,svg{max-width:100%}button{font:inherit;color:inherit}::selection{background:var(--ink);color:var(--paper)}:focus-visible{outline:1px solid var(--ink);outline-offset:5px}.sr-only{clip:rect(0 0 0 0);white-space:nowrap;border:0;width:1px;height:1px;margin:-1px;padding:0;position:absolute;overflow:hidden}.skip{left:var(--pad);z-index:50;letter-spacing:.22em;text-transform:uppercase;color:var(--ink);background:var(--paper);border-bottom:1px solid var(--ink);padding:6px 0;font-size:12px;font-weight:500;text-decoration:none;position:absolute;top:-80px}.skip:focus{top:12px}.frame{max-width:var(--frame);padding:0 var(--pad);margin:0 auto}@keyframes draw-rule{to{transform:scaleX(1)}}@keyframes grow-y{to{transform:scaleY(1)}}@keyframes trace-stroke{to{stroke-dashoffset:0}}@keyframes uncover{to{clip-path:inset(0)}}@keyframes appear{to{opacity:1}}.rule{border:0;border-top:1px solid var(--hair-soft);margin:0}html.armed .rule[data-rule]{transform-origin:0;transform:scaleX(0)}html.armed .rule[data-rule].play{animation:draw-rule 1.1s var(--ease-trace) forwards}html.armed [data-trace] .t{stroke-dasharray:1;stroke-dashoffset:1px}[data-trace].play .t{animation:trace-stroke 1.2s var(--ease-trace) var(--d,0s) forwards}[data-trace].play .t-slow{animation-duration:1.8s}html.armed [data-trace] .u{clip-path:inset(0 100% 0 0)}[data-trace].play .u{animation:uncover .9s var(--ease-trace) var(--d,0s) forwards}html.armed [data-trace] .a{opacity:0}[data-trace].play .a{animation:appear 10ms linear var(--d,0s) forwards}html.armed [data-trace] .sx{transform:scaleX(0)}[data-trace].play .sx{animation:draw-rule .9s var(--ease-trace) var(--d,0s) forwards}html.armed [data-trace] .sy{transform:scaleY(0)}[data-trace].play .sy{animation:grow-y .36s cubic-bezier(.5, 0, .5, 1) var(--d,0s) forwards}@keyframes vanish{to{opacity:0}}html:not(.armed) [data-trace] .v{opacity:0}[data-trace].play .v{animation:trace-stroke 1.2s var(--ease-trace) var(--d,0s) forwards, vanish 10ms linear 2.7s forwards}.gy{transform-box:fill-box;transform-origin:50% 100%}html.armed [data-trace] .gy{transform:scaleY(0)}[data-trace].play .gy{animation:grow-y .8s var(--ease-trace) var(--d,0s) forwards}.masthead{z-index:6;background:var(--paper);position:absolute;top:0;left:0;right:0}.masthead:after{content:"";background:var(--hair-soft);transform-origin:0;height:1px;position:absolute;bottom:0;left:0;right:0}html.armed .masthead:after{animation:draw-rule 1.1s var(--ease-trace) .15s forwards;transform:scaleX(0)}.masthead-inner{justify-content:space-between;align-items:baseline;gap:24px;padding:26px 44px 20px;display:flex}.wordmark{font-family:var(--serif);letter-spacing:.3em;text-transform:uppercase;-webkit-text-stroke:.5px currentColor;color:var(--ink);white-space:nowrap;font-size:18px;line-height:1.75;text-decoration:none}.navlinks{gap:34px;padding:0;list-style:none;display:flex}.navlinks a{font-family:var(--serif);letter-spacing:.04em;color:var(--wash);border-bottom:1px solid #0000;padding-bottom:3px;font-size:13.5px;line-height:1.75;text-decoration:none;transition:color .25s,border-color .25s}.navlinks a:hover,.navlinks a[aria-current=page]{color:var(--ink);border-color:var(--hair)}@media (max-width:900px){.masthead-inner{padding:20px 20px 16px}.wordmark{letter-spacing:.26em;font-size:15px}.navlinks{gap:18px}}@media (max-width:540px){.navlinks .social{display:none}}.hero{padding-top:clamp(150px,22svh,240px);position:relative}.hero-grid{grid-template-columns:120px minmax(0,1fr) 190px;column-gap:52px;display:grid}.hero-text{grid-column:2/4}.hero h1{max-width:14em;font-family:var(--serif);letter-spacing:.004em;color:var(--ink);font-size:clamp(36px,4.6vw,70px);line-height:1.1}.hero-sub{max-width:44ch;color:var(--body-text);margin-top:32px;font-size:14px;line-height:1.85}.hero .cta{margin-top:40px}.hero-field{height:clamp(230px,36svh,400px);margin-top:clamp(40px,8svh,96px);position:relative}.hero-field svg{width:100%;max-width:none;height:100%;position:absolute;inset:0;overflow:visible}.hero-caption{color:var(--body-text);grid-column:2/4;align-items:baseline;gap:20px;padding:16px 0 72px;font-size:12px;line-height:1.75;display:flex}.rf-branch{fill:none;stroke:var(--hair);stroke-width:1px;transition:stroke .3s}.rf-survivor{fill:none;stroke:var(--ink);stroke-width:1px}.rf-ring{fill:var(--paper);stroke:var(--wash);stroke-width:1px;transition:stroke .3s}.rf-branch.is-lit,.rf-ring.is-lit{stroke:var(--ink)}.rf-origin,.tf-origin{fill:var(--ember)}.tf-axis,.tf-tick,.tf-band,.tf-drop,.tf-signal,.tf-probe-line{fill:none;stroke-width:1px}.tf-axis{stroke:var(--wash)}.tf-tick{stroke:var(--hair-soft)}.tf-tick--major{stroke:var(--hair)}.tf-band{stroke:var(--wash);stroke-dasharray:4 3}.tf-signal{stroke:var(--ink);stroke-linejoin:round}.tf-drop,.tf-probe-line{stroke:var(--hair)}.tf-ring,.tf-probe-dot{fill:var(--paper);stroke:var(--ink);stroke-width:1px}.tf-label{font-family:var(--mono);letter-spacing:.02em;fill:var(--wash);font-size:11px}.tf-probe{visibility:hidden}.hero-field.is-probing .tf-probe{visibility:visible}.tf-probe-text{fill:var(--ink)}.hero[data-variant=counterexample]{padding-bottom:40px}.hero[data-variant=counterexample] .hero-grid{grid-template-columns:120px minmax(0,1fr) minmax(0,1.05fr);align-items:end}.hero[data-variant=counterexample] .hero-text{grid-column:2;padding-bottom:150px}.hero[data-variant=counterexample] h1{font-size:clamp(34px,3.8vw,58px)}.plate{grid-column:3;margin:0}.plate .hero-caption{padding:14px 0 60px}.diagram .pt{fill:var(--wash)}@media (max-width:900px){.hero{padding-top:calc(96px + 8svh)}.hero-grid,.hero[data-variant=counterexample] .hero-grid{grid-template-columns:minmax(0,1fr)}.hero-text,.hero-caption,.plate,.hero[data-variant=counterexample] .hero-text{grid-column:1}.hero[data-variant=counterexample] .hero-text{padding-bottom:0}.hero-sub{margin-top:24px}.hero-field{height:240px;margin-top:44px}.hero-caption{padding-bottom:56px}.plate{margin-top:48px}}.sec-head{justify-content:space-between;align-items:baseline;gap:52px;padding-top:26px;display:flex}.sec-title{font-family:var(--serif);letter-spacing:.03em;-webkit-text-stroke:.3px currentColor;color:var(--ink);font-size:clamp(25px,2.6vw,34px);line-height:1.1}.sec-aside{color:var(--wash);font-size:13.5px;line-height:1.9}@media (max-width:900px){.sec-head{flex-direction:column;gap:14px}}.cta{letter-spacing:.22em;text-transform:uppercase;color:var(--ink);white-space:nowrap;border-bottom:1px solid var(--ink);padding-bottom:7px;font-size:12px;font-weight:500;line-height:1.75;text-decoration:none;transition:letter-spacing .3s;display:inline-block}.cta:hover{letter-spacing:.3em}.contact{letter-spacing:.14em;color:var(--ink);border-bottom:1px solid var(--hair);padding-bottom:5px;font-size:13px;line-height:1.75;text-decoration:none;transition:border-color .25s;display:inline-block}.contact:hover{border-bottom-color:var(--ink)}.writing{padding:0 0 130px;scroll-margin-top:0}.index{margin-top:70px;padding:0;list-style:none}.entry{color:inherit;transition:opacity .45s var(--ease-trace);grid-template-columns:120px minmax(0,1fr) 190px;grid-template-areas:"num main meta";align-items:baseline;column-gap:52px;padding:40px 0 48px;text-decoration:none;display:grid;position:relative}.entry:before,.entry:after{content:"";height:1px;position:absolute;bottom:0;left:0;right:0}.entry:before{background:var(--hair-soft)}.entry:after{background:var(--ink);transform-origin:0;transition:transform .45s var(--ease-trace);transform:scaleX(0)}.entry:hover:after,.entry:focus-visible:after{transition-duration:1s;transform:scaleX(1)}.entry:focus-visible{outline:none}:is(.index:has(.entry:hover) .entry:not(:hover),.index:has(.entry:focus-visible) .entry:not(:focus-visible)){opacity:.42}.entry-num{letter-spacing:.2em;color:var(--body-text);grid-area:num;font-size:13.5px;line-height:1.9}.entry-num [data-vt]{display:inline-block}.entry-label{letter-spacing:.04em;color:var(--wash);font-size:12px;display:block}.entry-main{grid-area:main;display:block}.entry-title{width:fit-content;max-width:13em;font-family:var(--serif);letter-spacing:.01em;-webkit-text-stroke:.3px currentColor;color:var(--ink);font-size:clamp(24px,2.5vw,34px);line-height:1.16}.entry-dek{width:fit-content;max-width:52ch;color:var(--body-text);text-wrap:pretty;margin-top:16px;font-size:13.5px;line-height:1.85;display:block}.entry-meta{text-align:right;color:var(--wash);flex-direction:column;grid-area:meta;align-items:flex-end;font-size:12.5px;line-height:1.9;display:flex}.gnomon{width:64px;height:24px;position:absolute;bottom:46px;right:-2px;overflow:visible}.gnomon-shadow{transform-origin:4px 12px;transform:rotate(var(--shadow,0deg));transition:transform .55s var(--ease-ray)}.gnomon line{stroke:var(--wash);stroke-width:1px;transform-origin:4px 12px;transition:transform .6s var(--ease-trace), stroke .3s;transform:scaleX(.3)}.gnomon circle{fill:var(--wash);transition:fill .3s}.entry:hover .gnomon line,.entry:focus-visible .gnomon line{stroke:var(--ink);transform:scaleX(1)}.entry:hover .gnomon circle,.entry:focus-visible .gnomon circle{fill:var(--ember)}@media (max-width:900px){.writing{padding-bottom:100px}.index{margin-top:44px}.entry{grid-template-columns:auto minmax(0,1fr);grid-template-areas:"num meta""main main";gap:12px 16px;padding:30px 0 36px}.entry-label{margin-right:.8em;display:inline}.entry-meta{flex-flow:wrap;justify-content:flex-end}.entry-meta>*+:before{content:"·";margin:0 .6em}.entry-title{font-size:25px}.gnomon{display:none}}.essay-grid{grid-template-columns:[rail-start] var(--rail) [rail-end prose-start] minmax(0, var(--measure)) [prose-end margin-start] minmax(0, 1fr) [margin-end];column-gap:var(--gutter);display:grid}.essay-head{padding:clamp(150px,27vh,290px) 0 76px}.essay-head .essay-grid{align-items:baseline}.head-rail{grid-column:rail;font-size:13.5px;line-height:1.9}.essay-label{letter-spacing:.04em;color:var(--wash);font-size:12px;display:block}.essay-no{letter-spacing:.2em;color:var(--body-text);display:inline-block}.head-main{grid-column:prose-start/margin-end}.essay-title{width:fit-content;max-width:13em;font-family:var(--serif);letter-spacing:.01em;color:var(--ink);font-size:clamp(38px,5vw,68px);line-height:1.16}.essay-dek{width:fit-content;max-width:52ch;color:var(--body-text);text-wrap:pretty;margin-top:32px;font-size:17px;line-height:1.85}.head-meta{color:var(--wash);margin-top:46px;font-size:12.5px;line-height:1.9}.head-meta>*+:before{content:"·";margin:0 .7em}.essay-head [data-vt=essay-title]{view-transition-name:essay-title}.essay-head [data-vt=essay-dek]{view-transition-name:essay-dek}.essay-head [data-vt=essay-num]{view-transition-name:essay-num}@media (max-width:900px){.essay-grid{display:block}.essay-head{padding:132px 0 52px}.head-rail{align-items:baseline;gap:.8em;margin-bottom:18px;display:flex}.essay-label{display:inline}.essay-dek{margin-top:24px;font-size:15px}.head-meta{margin-top:32px}}.essay-body{padding-top:72px}.essay-rail{grid-column:rail}.rail-sticky{position:sticky;top:96px}.prose{--note-w:min(250px, calc(100cqw - var(--measure) - var(--gutter)));color:var(--body-text);grid-column:prose-start/margin-end;font-size:15px;line-height:1.9;container-type:inline-size}.prose>*{max-width:var(--measure)}.prose>.figure,.prose>.listing{max-width:none}.prose p{hanging-punctuation:first;margin-bottom:1.4em}.prose>p:first-child{color:var(--ink);margin-bottom:1.5em;font-size:17.5px;line-height:1.85}.prose h2{font-family:var(--serif);letter-spacing:.02em;-webkit-text-stroke:.3px currentColor;color:var(--ink);margin:2.9em 0 1em;scroll-margin-top:48px;font-size:clamp(25px,2.4vw,32px);line-height:1.2;position:relative}.sec-num{height:1.2em;font-family:var(--mono);-webkit-text-stroke:0;white-space:nowrap;color:var(--wash);align-items:center;text-decoration:none;transition:color .25s;display:flex;position:absolute;top:0;right:calc(100% + 26px)}.sec-num span{letter-spacing:.12em;font-size:12px}.sec-num:hover{color:var(--ink)}.prose h3{font-family:var(--serif);letter-spacing:.02em;-webkit-text-stroke:.3px currentColor;color:var(--ink);margin:2.2em 0 .8em;scroll-margin-top:48px;font-size:21px;line-height:1.3}.prose a:not(.sec-num){color:var(--ink);text-underline-offset:.3em;text-decoration:underline;text-decoration-thickness:1px;-webkit-text-decoration-color:var(--hair);text-decoration-color:var(--hair);transition:text-decoration-color .25s}.prose a:not(.sec-num):hover{-webkit-text-decoration-color:var(--ink);text-decoration-color:var(--ink)}.prose em{font-style:italic}.prose strong{color:var(--ink);font-weight:500}.prose :not(pre)>code{font-family:var(--mono);color:var(--ink);border:1px solid var(--hair-soft);-webkit-box-decoration-break:clone;box-decoration-break:clone;overflow-wrap:break-word;padding:.05em .35em;font-size:.88em}.prose>ul,.prose>ol{margin-bottom:1.4em;padding:0;list-style:none}.prose>ul>li,.prose>ol>li{margin-bottom:.5em;padding-left:3ch;position:relative}.prose>ul>li:before{content:"–";color:var(--wash);position:absolute;left:0}.prose>ol{counter-reset:item}.prose>ol>li{counter-increment:item}.prose>ol>li:before{content:counter(item) ".";color:var(--wash);position:absolute;left:0}.prose hr{background:var(--hair-soft);border:0;height:1px;margin:3em 0}.prose blockquote{clear:both;border-left:1px solid var(--hair);margin:2.5em 0 2.6em;padding-left:28px}.prose blockquote p{font-family:var(--serif);letter-spacing:.01em;color:var(--ink);text-wrap:balance;margin:0;font-size:clamp(21px,2vw,26px);font-style:italic;line-height:1.42}.prose blockquote.quote p{font-size:clamp(20px,1.8vw,23px)}.prose blockquote .attribution{color:var(--wash);margin-top:16px;font-size:12.5px;line-height:1.75;display:block}.prose blockquote .attribution em{font-style:italic}.listing{clear:both;margin:2.4em 0 2.7em}.listing figcaption{border-top:1px solid var(--hair-soft);letter-spacing:.04em;color:var(--body-text);justify-content:space-between;align-items:baseline;gap:16px;padding-top:12px;font-size:11.5px;line-height:1.6;display:flex}.listing-lang{color:var(--wash)}.listing-code{border-bottom:1px solid var(--hair-soft);tab-size:2;margin:0;padding:18px 0 22px;font-size:13px;line-height:1.8;overflow-x:auto}.listing-code:focus-visible{outline-offset:2px}.listing-code code{min-width:max-content;font-family:var(--mono);counter-reset:line;display:block}.listing-code .line{padding-right:12px;display:block}.listing-code .line:before{counter-increment:line;content:counter(line);text-align:right;color:#2128294d;-webkit-user-select:none;user-select:none;width:2ch;margin-right:2.6ch;display:inline-block}.figure{clear:both;margin:3em 0 3.2em}.figure-body{border-top:1px solid var(--hair-soft);border-bottom:1px solid var(--hair-soft);padding:44px 0 36px;container-type:inline-size}.figure figcaption{max-width:var(--measure);color:var(--body-text);grid-template-columns:auto minmax(0,1fr);gap:20px;margin-top:14px;font-size:12px;line-height:1.75;display:grid}.fig-num{color:var(--wash);letter-spacing:.08em;white-space:nowrap}.diagram{font-family:var(--mono)}.diagram svg{width:100%;height:auto;display:block;overflow:visible}.diagram .d-wide{max-width:700px}.diagram .d-narrow{max-width:420px;display:none}@container (max-width:540px){.diagram .d-wide{display:none}.diagram .d-narrow{display:block}}.diagram .ln,.diagram .ln-soft,.diagram .ln-hair,.diagram .ln-ink{fill:none;stroke-width:1px}.diagram .ln{stroke:var(--wash)}.diagram .ln-soft{stroke:var(--hair-soft)}.diagram .ln-hair{stroke:var(--hair)}.diagram .ln-ink{stroke:var(--ink)}.diagram .ln-dash{stroke-dasharray:4 3}.diagram .ring{fill:var(--paper);stroke:var(--ink);stroke-width:1px}.diagram .name{font-family:var(--serif);letter-spacing:.02em;fill:var(--ink);font-size:16px}.diagram .note{fill:var(--body-text);font-size:11.5px}.diagram .quiet{letter-spacing:.02em;fill:var(--wash);font-size:11px}.ladder ol{max-width:700px;padding:0;list-style:none}.ladder .rung{--node:22px;grid-template-columns:22px 3ch minmax(0,12.5em) minmax(0,1fr);align-items:baseline;column-gap:22px;padding:22px 0;display:grid;position:relative}.rung-seg{background:var(--hair);transform-origin:top;width:1px;position:absolute;left:10px}.rung-seg--in{height:calc(50% - 6px);top:0}.rung-seg--out{top:calc(50% + 6px);bottom:0}.rung-node{border:1px solid var(--wash);background:var(--paper);border-radius:50%;width:9px;height:9px;position:absolute;top:calc(50% - 4.5px);left:6px}.rung-node[data-kind=origin]{background:var(--ember);border-color:var(--ember)}.rung-node[data-kind=verdict]{border-color:var(--ink);outline:1px solid var(--hair);outline-offset:3px}.rung-n{letter-spacing:.08em;color:var(--wash);grid-column:2;font-size:11px}.rung-name{font-family:var(--serif);letter-spacing:.02em;color:var(--ink);grid-column:3;font-size:19px;line-height:1.3}.rung-role{color:var(--body-text);grid-column:4;font-size:12.5px;line-height:1.6}.rung-rule{background:var(--hair-soft);transform-origin:0;height:1px;position:absolute;bottom:0;left:44px;right:0}@container (max-width:540px){.ladder .rung{grid-template-columns:22px minmax(0,1fr);grid-template-areas:"node name""node role";gap:2px 16px;padding:16px 0}.rung-n{display:none}.rung-name{grid-area:1/2;font-size:17px}.rung-role{grid-area:2/2}.rung-rule{left:38px}}.fn-ref{font-family:var(--mono);color:var(--wash);cursor:pointer;background:0 0;border:0;margin-left:.1em;padding:0 .15em;font-size:.66em;line-height:1;transition:color .25s;position:relative;top:-.55em}.fn-ref--static{cursor:default}.fn-ref:hover,.fn.is-open .fn-ref{color:var(--ink)}.fn-note{font-family:var(--mono);letter-spacing:0;color:var(--body-text);text-wrap:pretty;font-size:12.5px;font-weight:400;line-height:1.75;display:none}.fn-note-num{color:var(--wash);margin-right:1ch}.fn-note a{overflow-wrap:anywhere}.fn.is-open .fn-note{margin:.8em 0 1em;padding:2px 0 2px 20px;display:block;position:relative}.fn.is-open .fn-note:before{content:"";background:var(--hair);transform-origin:top;width:1px;animation:grow-y .5s var(--ease-trace);position:absolute;top:0;bottom:0;left:0}@media (min-width:1180px){.fn-note,.fn.is-open .fn-note{float:right;clear:right;width:var(--note-w);margin:.45em calc(-1 * (var(--note-w) + var(--gutter))) 1.2em 0;color:var(--wash);padding:0;font-size:12px;line-height:1.75;transition:color .3s;display:block;position:relative}.fn.is-open .fn-note:before,.fn-note:before{content:"";background:var(--ink);transform-origin:0;width:12px;height:1px;transition:transform .45s var(--ease-trace);animation:none;position:absolute;top:.86em;bottom:auto;left:-22px;transform:scaleX(0)}.fn:hover .fn-note,.fn:focus-within .fn-note,.fn.is-open .fn-note{color:var(--ink)}.fn:hover .fn-note:before,.fn:focus-within .fn-note:before,.fn.is-open .fn-note:before{transform:scaleX(1)}.prose>p:first-child .fn-note{font-size:12px}}.dial{width:132px}.dial svg{display:block;overflow:visible}.dial-arc{fill:none;stroke:var(--hair-soft);stroke-width:1px}.dial-hour{stroke:var(--wash);stroke-width:1px;opacity:.7}.dial-minute{stroke:var(--hair);stroke-width:1px}.dial-mark{fill:var(--hair);transition:fill .3s}.dial-mark.is-passed{fill:var(--ink)}.dial-shadow{transform-origin:10px 122px}.dial-shadow line{stroke:var(--ink);stroke-width:1px}.dial-origin{fill:var(--ember)}.dial-caption{color:var(--wash);flex-direction:column;gap:6px;margin-top:20px;font-size:12px;line-height:1.65;display:flex}.dial-section{color:var(--body-text);text-wrap:balance}.dial-section-num{color:var(--wash);letter-spacing:.08em;margin-right:.4em}.progress-edge{display:none}@media (max-width:1179px){.dial{width:108px}.dial svg{width:108px;height:108px}}@media (max-width:900px){.essay-rail{display:contents}.dial{display:none}.progress-edge{z-index:30;background:var(--ink);transform-origin:0;height:1px;display:block;position:fixed;top:0;left:0;right:0;transform:scaleX(0)}.essay-body{padding-top:48px}.prose{font-size:14.5px;line-height:1.85}.prose>p:first-child{font-size:16px}.sec-num{height:auto;margin-bottom:10px;position:static}.prose h2{margin-top:2.4em}}.essay-end{padding:36px 0 120px}.end-main{grid-column:prose-start/prose-end}.fan{display:block;overflow:visible}.fan path{fill:none;stroke:var(--wash);stroke-width:1px;opacity:.55}.fan circle{fill:var(--ember)}html.armed .fan path{stroke-dasharray:1;stroke-dashoffset:1px;opacity:0}.fan.play path{stroke-dasharray:1;animation:trace-fan 1.8s var(--ease-trace) both;animation-delay:var(--d,0s)}@keyframes trace-fan{0%{stroke-dashoffset:1px;opacity:.6}85%{stroke-dashoffset:0;opacity:.6}to{stroke-dashoffset:0;opacity:.55}}.end-mark{margin:0 0 30px -6px}.colophon{color:var(--wash);font-size:12.5px;line-height:1.9}.colophon>*+:before{content:"·";margin:0 .7em}.continue{padding-bottom:130px}@media (max-width:900px){.essay-end{padding:24px 0 90px}.continue{padding-bottom:100px}}.about{padding:clamp(150px,26vh,260px) 0 130px}.about-grid{grid-template-columns:1.6fr 1fr;align-items:center;gap:60px;display:grid}.about h1{max-width:19em;font-family:var(--serif);letter-spacing:.008em;color:var(--ink);font-size:clamp(30px,3.2vw,46px);line-height:1.22}.about-body{margin-top:44px}.about-body p{max-width:52ch;color:var(--body-text);font-size:14.5px;line-height:1.95}.about-body p+p{margin-top:1.1em}.about-links{flex-wrap:wrap;gap:16px 34px;margin-top:40px;padding:0;list-style:none;display:flex}.about-colophon{border-top:1px solid var(--hair-soft);max-width:52ch;color:var(--wash);margin-top:70px;padding-top:22px;font-size:12px;line-height:1.85}.seal-wrap{justify-self:end;padding-right:34px}.analemma path{fill:none;stroke:var(--ink);stroke-width:1px;vector-effect:non-scaling-stroke;opacity:.35}html.armed .analemma path{stroke-dasharray:1;stroke-dashoffset:1px;opacity:0}.play .analemma path{stroke-dasharray:1;animation:9s cubic-bezier(.45,.15,.35,1) infinite both trace-analemma}@keyframes trace-analemma{0%{stroke-dashoffset:1px;opacity:.55}40%{stroke-dashoffset:0;opacity:.55}52%{stroke-dashoffset:0;opacity:.38}60%{stroke-dashoffset:0;opacity:.55}98%{stroke-dashoffset:-1px;opacity:.55}to{stroke-dashoffset:-1px;opacity:.55}}@media (max-width:900px){.about{padding:140px 0 100px}.about-grid{grid-template-columns:1fr;gap:44px}.seal-wrap{justify-self:start;padding-right:0}}.site-foot{border-top:1px solid var(--hair-soft)}.foot-inner{max-width:var(--frame);padding:30px var(--pad) 36px;font-family:var(--serif);letter-spacing:.04em;color:var(--wash);justify-content:space-between;align-items:baseline;gap:24px;margin:0 auto;font-size:13.5px;line-height:1.75;display:flex}.foot-inner a{color:inherit;text-decoration:none;transition:color .25s}.foot-inner a:hover{color:var(--ink)}@media (max-width:900px){.foot-inner{padding:26px var(--pad) 30px;flex-direction:column;gap:8px}}::view-transition-old(root){animation:vt-out .22s var(--ease-trace) both}::view-transition-new(root){animation:vt-in .4s var(--ease-trace) 80ms both}::view-transition-group(essay-title){animation-duration:.64s;animation-timing-function:cubic-bezier(.32,.72,.24,1)}::view-transition-group(essay-dek){animation-duration:.64s;animation-timing-function:cubic-bezier(.32,.72,.24,1)}::view-transition-group(essay-num){animation-duration:.64s;animation-timing-function:cubic-bezier(.32,.72,.24,1)}@keyframes vt-out{to{opacity:0}}@keyframes vt-in{0%{opacity:0}}@media (prefers-reduced-motion:reduce){html{scroll-behavior:auto}*,:before,:after{transition-duration:.001ms!important;animation-duration:.001ms!important;animation-iteration-count:1!important;animation-delay:0s!important}.analemma path{stroke-dasharray:none;opacity:.35}}@media print{.masthead,.site-foot,.essay-rail,.continue,.progress-edge,.skip{display:none!important}.essay-grid{display:block}.essay-head{padding-top:0}.fn-note{border-left:1px solid var(--hair);float:none!important;width:auto!important;margin:.5em 0 1em!important;padding-left:16px!important;display:block!important}}