@font-face{font-family:PT Math;src:url(/fonts/computer-modern-regular.woff2)format("woff2");unicode-range:U+D7,U+2113,U+211D,U+2190-21FF,U+22??,U+27F5-27FF;font-display:swap}@font-face{font-family:PT Math;font-style:italic;src:url(/fonts/computer-modern-italic.woff2)format("woff2");unicode-range:U+D7,U+2113,U+211D,U+2190-21FF,U+22??,U+27F5-27FF;font-display:swap}@font-face{font-family:Computer Modern;src:url(/fonts/computer-modern-regular.woff2)format("woff2");font-weight:400;font-style:normal;font-display:swap}@font-face{font-family:Computer Modern;src:url(/fonts/computer-modern-italic.woff2)format("woff2");font-weight:400;font-style:italic;font-display:swap}@font-face{font-family:Computer Modern;src:url(/fonts/computer-modern-bold.woff2)format("woff2");font-weight:700;font-style:normal;font-display:swap}@font-face{font-family:Computer Modern Math;src:url(/fonts/computer-modern-math-italic.woff2)format("woff2");font-weight:400;font-style:italic;font-display:swap}@font-face{font-family:"Source Serif 4";src:url(/fonts/source-serif-4-latin.woff2)format("woff2");font-weight:200 900;font-style:normal;font-display:swap;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:"Source Serif 4";src:url(/fonts/source-serif-4-latin-ext.woff2)format("woff2");font-weight:200 900;font-style:normal;font-display:swap;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-20C4,U+2113,U+2C60-2C7F,U+A720-A7FF}@font-face{font-family:"Source Serif 4";src:url(/fonts/source-serif-4-greek.woff2)format("woff2");font-weight:200 900;font-style:normal;font-display:swap;unicode-range:U+370-377,U+37A-37F,U+384-38A,U+38C,U+38E-3A1,U+3A3-3FF}@font-face{font-family:"Source Serif 4";src:url(/fonts/source-serif-4-italic-latin.woff2)format("woff2");font-weight:200 900;font-style:italic;font-display:swap;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:"Source Serif 4";src:url(/fonts/source-serif-4-italic-latin-ext.woff2)format("woff2");font-weight:200 900;font-style:italic;font-display:swap;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-20C4,U+2113,U+2C60-2C7F,U+A720-A7FF}@font-face{font-family:"Source Serif 4";src:url(/fonts/source-serif-4-italic-greek.woff2)format("woff2");font-weight:200 900;font-style:italic;font-display:swap;unicode-range:U+370-377,U+37A-37F,U+384-38A,U+38C,U+38E-3A1,U+3A3-3FF}@font-face{font-family:Instrument Sans;src:url(/fonts/instrument-sans-latin.woff2)format("woff2");font-weight:400 700;font-style:normal;font-display:swap;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:Instrument Sans;src:url(/fonts/instrument-sans-latin-ext.woff2)format("woff2");font-weight:400 700;font-style:normal;font-display:swap;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-20C4,U+2113,U+2C60-2C7F,U+A720-A7FF}@font-face{font-family:IBM Plex Mono;src:url(/fonts/ibm-plex-mono-400.woff2)format("woff2");font-weight:400;font-style:normal;font-display:swap}@font-face{font-family:SS4 Fallback Times;src:local(Times New Roman),local(TimesNewRomanPSMT),local(Liberation Serif),local(Tinos);font-weight:400;font-style:normal;size-adjust:111.92%;ascent-override:92.57%;descent-override:29.93%;line-gap-override:0%}@font-face{font-family:SS4 Fallback Times;src:local(Times New Roman Bold),local(TimesNewRomanPS-BoldMT),local(Liberation Serif Bold),local(Tinos Bold);font-weight:600 700;font-style:normal;size-adjust:97.39%;ascent-override:106.37%;descent-override:34.4%;line-gap-override:0%}@font-face{font-family:SS4 Fallback Times;src:local(Times New Roman Italic),local(TimesNewRomanPS-ItalicMT),local(Liberation Serif Italic),local(Tinos Italic);font-weight:400;font-style:italic;size-adjust:102.71%;ascent-override:100.87%;descent-override:32.62%;line-gap-override:0%}@font-face{font-family:SS4 Fallback Noto;src:local(Noto Serif),local(NotoSerif-Regular);font-weight:400;font-style:normal;size-adjust:93.24%;ascent-override:111.11%;descent-override:35.93%;line-gap-override:0%}@font-face{font-family:SS4 Fallback Noto;src:local(Noto Serif Bold),local(NotoSerif-Bold);font-weight:600 700;font-style:normal;size-adjust:81.39%;ascent-override:127.29%;descent-override:41.16%;line-gap-override:0%}@font-face{font-family:SS4 Fallback Noto;src:local(Noto Serif Italic),local(NotoSerif-Italic);font-weight:400;font-style:italic;size-adjust:88.56%;ascent-override:116.99%;descent-override:37.83%;line-gap-override:0%}@font-face{font-family:IS Fallback Arial;src:local(Arial),local(ArialMT),local(Liberation Sans),local(Arimo);font-weight:400 500;font-style:normal;size-adjust:103.25%;ascent-override:93.95%;descent-override:24.21%;line-gap-override:0%}@font-face{font-family:IS Fallback Arial;src:local(Arial Bold),local(Arial-BoldMT),local(Liberation Sans Bold),local(Arimo Bold);font-weight:600 700;font-style:normal;size-adjust:98.15%;ascent-override:98.83%;descent-override:25.47%;line-gap-override:0%}
:root{--paper:#fbfcfe;--well:#f1f4fa;--ink:#0a0d14;--ink2:#2b3140;--ink3:#343b4a;--pig:#1426c4;--pig-hi:#2a3ee8;--wash:#e7eafb;--rule:#0a0d143d;--rule-soft:#0a0d141f;--grid:#1426c412;--on-ink:#fbfcfe;--on-ink2:#c9ceda;--on-ink-link:#aeb8ff;--on-ink-rule:#fbfcfe47;--serif:"PT Math", "Source Serif 4", "SS4 Fallback Times", "SS4 Fallback Noto", Georgia, "Times New Roman", serif;--cm:"Computer Modern", "PT Math", "Source Serif 4", Georgia, serif;--var:"Computer Modern Math", "Computer Modern", "Source Serif 4", serif;--sans:"PT Math", "Instrument Sans", "IS Fallback Arial", system-ui, -apple-system, "Segoe UI", sans-serif;--mono:"IBM Plex Mono", ui-monospace, "SFMono-Regular", Menlo, monospace;--h1:clamp(54px, 8.6vw, 118px);--h1-sub:clamp(22px, 2.3vw, 31px);--h2:clamp(32px, 3.7vw, 50px);--h3:clamp(23px, 2vw, 28px);--lead:clamp(19px, 1.7vw, 23px);--body:19px;--small:16px;--tiny:14px;--wrap:1380px;--pad:clamp(20px, 4vw, 56px);--measure:34em;--rail:76px;--margin:250px;--gap:clamp(28px, 3vw, 44px);--section:clamp(56px, 7vw, 104px);--ease:cubic-bezier(.2, .7, .2, 1)}@media (max-width:700px){:root{--body:17.5px;--small:15.5px}}
*{box-sizing:border-box}html{-webkit-text-size-adjust:100%;scroll-behavior:auto}body{background:var(--paper);color:var(--ink);font:400 19px/1.62 var(--serif);font-optical-sizing:auto;font-kerning:normal;font-feature-settings:"kern","liga","onum" 0;text-rendering:optimizelegibility;margin:0}a{color:var(--pig);text-underline-offset:.2em;text-decoration:underline;text-decoration-thickness:1px}a:hover{text-decoration-thickness:2px}:focus-visible{outline:3px solid var(--pig-hi);outline-offset:3px;border-radius:1px}.skip{background:var(--ink);color:#fff;font:600 var(--small) var(--sans);z-index:50;padding:10px 14px;position:absolute;top:8px;left:-999px}.skip:focus{left:8px}.wrap{max-width:1380px;padding:0 var(--pad);margin:0 auto}.sans{font-family:var(--sans)}.nowrap{white-space:nowrap}.head{border-bottom:1px solid var(--ink);background:var(--paper);position:relative}.head .wrap{justify-content:space-between;align-items:center;gap:24px;min-height:68px;display:flex}.brand{color:var(--ink);align-items:center;gap:12px;min-height:44px;text-decoration:none;display:flex}.brand .mark{font:400 34px/1 var(--cm);color:var(--pig);transform:translateY(2px)}.brand .word{font:600 23px/1 var(--serif);letter-spacing:-.01em}.brand .tag{font:italic 400 17px/1 var(--serif);color:var(--ink3);border-left:1px solid var(--rule);margin-left:6px;padding-left:16px}.brand:hover .word{text-underline-offset:.2em;text-decoration:underline;text-decoration-thickness:1px}.nav{font:500 16px/1 var(--sans);align-items:center;gap:30px;display:flex}.nav a:not(.btn){min-height:44px;color:var(--ink);border-top:2px solid #0000;border-bottom:2px solid #0000;align-items:center;text-decoration:none;display:inline-flex}.nav a:not(.btn):hover{border-bottom-color:var(--pig)}.nav a[aria-current]:not(.btn){border-bottom-color:var(--ink);font-weight:600}.nav .btn{margin-left:6px}.menu{display:none}.menu summary{cursor:pointer;min-width:64px;min-height:44px;font:600 16px var(--sans);border:1.5px solid var(--ink);color:var(--ink);border-radius:2px;justify-content:center;align-items:center;padding:0 14px;list-style:none;display:inline-flex}.menu summary::-webkit-details-marker{display:none}.menu summary:hover{border-color:var(--pig);color:var(--pig)}.menu[open] summary{background:var(--ink);color:var(--paper)}.menu ul{padding:6px var(--pad) 18px;background:var(--paper);border-bottom:1px solid var(--ink);z-index:20;margin:0;list-style:none;position:absolute;top:100%;left:0;right:0}.menu li a{min-height:52px;font:500 19px var(--sans);color:var(--ink);border-top:1px solid var(--rule-soft);align-items:center;text-decoration:none;display:flex}.menu li a[aria-current]{color:var(--pig);font-weight:700}.menu li a:hover{color:var(--pig)}.menu li:last-child a{font-weight:700}.btn{min-height:52px;font:600 17px/1 var(--sans);border:1.5px solid var(--pig);background:var(--pig);color:#fff;letter-spacing:.005em;border-radius:2px;justify-content:center;align-items:center;padding:0 24px;text-decoration:none;display:inline-flex}.btn:hover{background:var(--ink);border-color:var(--ink)}.btn.alt{color:var(--pig);background:0 0}.btn.alt:hover{background:var(--wash);color:var(--pig);border-color:var(--pig)}.btn.sm{min-height:42px;font-size:var(--small);padding:0 16px}.hero{grid-template-columns:minmax(0,1.08fr) minmax(0,.92fr);align-items:start;column-gap:clamp(32px,4.5vw,72px);padding:clamp(34px,5vw,64px) 0 clamp(40px,5vw,72px);display:grid}h1.title{margin:0;font-weight:400}h1.title .t1{font:400 clamp(54px,8.6vw,118px)/.94 var(--cm);letter-spacing:-.025em;color:var(--ink);display:block}h1.title .t1 i{color:var(--pig);font-style:normal}h1.title .t2{border-top:2px solid var(--ink);font:500 clamp(22px,2.3vw,31px)/1.22 var(--serif);letter-spacing:-.006em;color:var(--ink);max-width:25em;margin-top:clamp(18px,2.2vw,28px);padding-top:clamp(14px,1.6vw,20px);display:block}h1.title .t2 b{color:var(--ink);font-weight:600}.triad{max-width:33em;color:var(--ink);margin:clamp(22px,2.4vw,32px) 0 0;font-size:clamp(18px,1.5vw,21px);line-height:1.58}.triad b{font-weight:600}.facts{border-top:1px solid var(--ink);border-bottom:1px solid var(--rule);grid-template-columns:repeat(3,auto);justify-content:start;margin:28px 0 0;padding:0;list-style:none;display:grid}.facts li{font:600 var(--small)/1.3 var(--sans);color:var(--ink);border-right:1px solid var(--rule);margin-right:22px;padding:13px 22px 13px 0}.facts li:last-child{border-right:0;margin-right:0;padding-right:0}.cta{flex-wrap:wrap;gap:14px;margin-top:30px;display:flex}figure,figure.plate{margin:0}.plate .well{background-color:var(--well);border:1px solid var(--rule);background-image:linear-gradient(#1426c412 1px,#0000 1px),linear-gradient(90deg,#1426c412 1px,#0000 1px);background-position:-1px -1px;background-size:24px 24px;padding:clamp(14px,2vw,24px);position:relative}.plate .num{font:600 var(--small)/1 var(--sans);color:var(--ink);justify-content:space-between;align-items:baseline;gap:12px;margin:0 0 12px;display:flex}.plate .num span:last-child{color:var(--ink3);font-weight:500}figcaption{font:400 var(--small)/1.5 var(--sans);color:var(--ink2);max-width:46em;margin-top:14px}figcaption b{color:var(--ink);font-weight:700}.fig svg{width:100%;height:auto;display:block;overflow:visible}.fig text{font-family:var(--sans)}.fig .bar{cursor:ns-resize}.fig .bar:focus-visible{outline:none}.fig .bar:focus-visible rect.focus{stroke:var(--ink);stroke-width:2.5px}.fig-ctl{flex-wrap:wrap;align-items:center;gap:10px 18px;margin-top:12px;display:flex}.fig-ctl button{font:600 var(--small)/1 var(--sans);border:1.5px solid var(--ink);background:var(--paper);min-height:42px;color:var(--ink);cursor:pointer;border-radius:2px;padding:0 14px}.fig-ctl button[aria-pressed=true]{background:var(--ink);color:#fff}.fig-ctl button:hover{border-color:var(--pig);color:var(--pig)}.fig-ctl button[aria-pressed=true]:hover{background:var(--pig);color:#fff}.readout{font:500 16px/1.4 var(--sans);color:var(--ink);border-left:3px solid var(--pig);min-height:2.9em;margin:14px 0 0;padding-left:12px}.readout.no{border-left-color:var(--ink)}.display{border-top:1px solid var(--ink);border-bottom:1px solid var(--rule);grid-template-columns:minmax(0,1fr) auto;align-items:center;gap:20px;padding:clamp(26px,3.4vw,46px) 0;display:grid}.display .eq{position:relative;overflow:hidden}.display .eqno{font:400 22px var(--cm);color:var(--ink2)}.display .katex{font-size:clamp(26px,3.15vw,46px)}.display .katex-display{margin:0}.display .narrow{display:none}.display .katex-display{text-align:left}.sec{grid-template-columns:76px minmax(0,1fr) 250px;column-gap:clamp(28px,3vw,44px);padding:clamp(56px,7vw,104px) 0 0;display:grid}.sec>*{grid-column:2}.sec>.rail{grid-area:1/1}.sec>.mn{grid-column:3}.sec>.wide{grid-column:2/4}.sec>.full{grid-column:1/4}.rail{font:italic 400 28px/1.15 var(--cm);color:var(--pig);padding-top:6px}h2{text-wrap:balance;font:600 clamp(32px,3.7vw,50px)/1.08 var(--serif);letter-spacing:-.018em;font-optical-sizing:auto;font-variation-settings:"opsz" 60;max-width:19em;margin:0 0 .5em}h3{text-wrap:balance;font:600 clamp(23px,2vw,28px)/1.18 var(--serif);letter-spacing:-.01em;margin:0 0 .4em}p{margin:0 0 1em}.lead{max-width:34em;color:var(--ink);font-size:clamp(19px,1.7vw,23px);line-height:1.55}.prose{max-width:34em}.mn{font:400 var(--small)/1.5 var(--sans);color:var(--ink2);border-left:2px solid var(--pig);align-self:start;margin-top:6px;padding:2px 0 2px 14px}.mn b{color:var(--ink);margin-bottom:4px;font-weight:700;display:block}.mn a{font-weight:600}.mn ul{margin:6px 0 0;padding:0;list-style:none}.mn li{margin:0 0 9px}.mn .id{font:600 var(--small) var(--sans);font-variant-numeric:tabular-nums;color:var(--pig);text-decoration:none;display:block}.link{font:600 16.5px/1.3 var(--sans)}.frame{border:2px solid var(--pig);margin-top:18px;padding:clamp(26px,3vw,40px) clamp(18px,2.6vw,36px) clamp(20px,2.6vw,32px);position:relative}.frame>legend,.frame .legend{background:var(--paper);font:600 16px/1.4 var(--sans);color:var(--pig);padding:0 12px;position:absolute;top:-.72em;left:22px}.factors{grid-template-columns:1fr auto 1fr auto 1fr;align-items:start;column-gap:clamp(8px,1.6vw,26px);display:grid}.factor h3{font-size:clamp(22px,1.9vw,27px)}.factor h3 span{font-family:var(--cm);font-weight:400;display:inline}.factor p{color:var(--ink);font-size:18px;line-height:1.55}.otimes{font:400 clamp(40px,4.4vw,64px)/1 var(--cm);color:var(--pig);padding-top:4px}.papers{border-top:1px solid var(--rule);font:400 var(--small)/1.45 var(--sans);color:var(--ink2);margin:18px 0 0;padding:14px 0 0}.papers b{color:var(--ink);margin-bottom:6px;font-weight:700;display:block}.papers ul{margin:0;padding:0;list-style:none}.papers li{margin:0 0 8px}.papers .id{font:600 var(--small) var(--sans);font-variant-numeric:tabular-nums;color:var(--pig);display:block}.papers a{color:var(--ink)}.papers a:hover,.papers a:focus-visible{color:var(--pig);text-decoration:underline}.yours{border-top:2px solid var(--ink);grid-template-columns:repeat(2,minmax(0,1fr));align-items:start;column-gap:clamp(24px,4vw,64px);margin-top:clamp(30px,4vw,56px);padding-top:clamp(18px,2vw,26px);display:grid}.yours>h3{grid-column:1/-1;max-width:20em;margin:0 0 .5em;font-size:clamp(30px,3.3vw,44px);font-weight:600;line-height:1.08}.yours p{max-width:30em;margin:0 0 .8em;font-size:clamp(19px,1.7vw,23px);line-height:1.55}.axioms{grid-template-columns:repeat(3,minmax(0,1fr));column-gap:clamp(24px,3vw,48px);margin-top:12px;display:grid}.axiom{border-top:2px solid var(--ink);padding-top:16px}.axiom h3{font-size:clamp(22px,1.9vw,26px)}.axiom h3 i{font:italic 400 .86em var(--cm);color:var(--pig);margin-right:.5em}.axiom p{color:var(--ink);font-size:18px;line-height:1.58}.flow{font:500 16px/1.35 var(--sans);color:var(--ink);grid-template-columns:auto 22px auto 22px minmax(0,1fr);align-items:center;margin:6px 0 0;display:grid}.flow .node{border:1.5px solid var(--ink);background:var(--paper);align-items:center;padding:10px 14px;display:flex}.flow .join{justify-content:center;align-items:center;display:flex}.flow .join:before{content:"";background:var(--ink);width:100%;height:1.5px}.flow .outs{gap:8px;display:grid}.flow .outs .node{border-color:var(--rule)}.flow .outs .node b{color:var(--ink);min-width:6.4em;margin-right:8px;font-weight:700;display:inline-block}.flow .outs .node.gate{border:1.5px solid var(--pig);background:var(--wash)}.flow .outs .node.gate b{color:var(--pig)}.flowlog{border:1.5px dashed var(--ink);font:500 16px/1.35 var(--sans);margin-top:8px;padding:10px 14px}.flowlog b{font-weight:700}.flow-fig .well{background:var(--well);border:1px solid var(--rule);padding:clamp(14px,2vw,24px)}.cases{border-top:2px solid var(--ink);margin:14px 0 0;padding:0;list-style:none}.case{border-bottom:1px solid var(--rule);grid-template-columns:minmax(0,.55fr) minmax(0,1.45fr);column-gap:clamp(20px,4vw,64px);padding:24px 0 26px;display:grid}.case .who{font:600 var(--small)/1.35 var(--sans);color:var(--ink3);padding-top:.55em}.case h3{margin:0 0 .35em;font-size:clamp(25px,2.3vw,32px)}.case p{max-width:33em;margin-bottom:.6em;font-size:19px}table.bt{border-collapse:collapse;width:100%;font:400 17.5px/1.5 var(--serif);margin:10px 0 0}table.bt caption{caption-side:top;text-align:left;font:600 var(--small)/1.45 var(--sans);color:var(--ink);padding:0 0 12px}table.bt caption span{color:var(--ink2);font-weight:400}table.bt thead th{font:700 var(--small)/1.3 var(--sans);text-align:left;border-top:2px solid var(--ink);border-bottom:1px solid var(--ink);vertical-align:bottom;padding:10px 18px 10px 0}table.bt td,table.bt tbody th{vertical-align:top;border-bottom:1px solid var(--rule-soft);text-align:left;padding:12px 18px 12px 0}table.bt tbody th{font:600 17.5px/1.4 var(--serif);width:20%}table.bt tbody tr:last-child td,table.bt tbody tr:last-child th{border-bottom:2px solid var(--ink)}.pg-cols{grid-template-columns:repeat(2,minmax(0,1fr));column-gap:clamp(24px,4vw,64px);margin-top:18px;display:grid}.pg-col h3{margin-bottom:.2em;font-size:clamp(22px,2vw,27px)}.pg-col .d{color:var(--ink2);max-width:28em;margin:0 0 .6em;font-size:18px}.pg-col table{margin-top:0}.strip{font:italic 400 clamp(19px,1.7vw,23px)/1.5 var(--serif);color:var(--ink);max-width:36em;margin:26px 0 6px}.strip b{font:600 var(--small) var(--sans);color:var(--ink3);margin-bottom:2px;font-style:normal;display:block}.geo{font:500 16.5px var(--sans);color:var(--ink2);margin:6px 0 0}.ledger{border-collapse:collapse;width:100%;font:400 17px/1.45 var(--serif)}.ledger caption{caption-side:top;text-align:left;font:600 var(--small)/1.45 var(--sans);padding:0 0 12px}.ledger caption span{color:var(--ink2);font-weight:400}.ledger thead th{font:700 var(--small)/1.3 var(--sans);text-align:left;border-top:2px solid var(--ink);border-bottom:1px solid var(--ink);padding:10px 16px 10px 0}.ledger td{border-bottom:1px solid var(--rule-soft);vertical-align:top;padding:11px 16px 11px 0}.ledger td.n{font:500 var(--small) var(--sans);color:var(--ink3);font-variant-numeric:tabular-nums;width:2.6em;padding-top:.8em}.ledger td.id{font:600 var(--small) var(--sans);color:var(--pig);font-variant-numeric:tabular-nums;white-space:nowrap;padding-top:.8em}.ledger td.id.none{color:var(--ink3);font-weight:500}.ledger td.d{font:500 var(--small) var(--sans);color:var(--ink2);font-variant-numeric:tabular-nums;white-space:nowrap;padding-top:.8em}.ledger a,table.bt a,.papers a{text-decoration:none}.ledger a:hover,.ledger a:focus-visible,table.bt a:hover,table.bt a:focus-visible{text-decoration:underline}.ledger td.t a{color:var(--ink);font-weight:500}.ledger td.t a:hover{color:var(--pig)}.ledger td.p{font:600 var(--small) var(--sans);white-space:nowrap;padding-top:.8em}.ledger tr.latest td{background:var(--wash)}details.more{margin-top:0}details.more>summary{cursor:pointer;font:600 16.5px var(--sans);color:var(--pig);border-bottom:2px solid var(--ink);text-underline-offset:.2em;padding:16px 0;text-decoration:underline;list-style:none}details.more>summary::-webkit-details-marker{display:none}details.more[open]>summary{margin-bottom:0}.latest-abs{border-left:3px solid var(--pig);max-width:40em;margin:0 0 30px;padding-left:18px}.latest-abs .k{font:700 var(--small) var(--sans);color:var(--pig);font-variant-numeric:tabular-nums;margin-bottom:6px;display:block}.latest-abs h3{margin-bottom:.4em;font-size:clamp(22px,2vw,27px)}.latest-abs p{color:var(--ink2);margin:0 0 .5em;font-size:17.5px}.contact{background:var(--ink);color:var(--on-ink);box-shadow:0 0 0 100vmax var(--ink);clip-path:inset(0 -100vmax);grid-template-columns:minmax(0,1.1fr) minmax(0,.9fr);align-items:start;gap:clamp(28px,5vw,80px);margin-top:clamp(64px,8vw,120px);padding:clamp(48px,6vw,88px) 0 clamp(40px,5vw,64px);display:grid}.contact:has(>.wrap){padding:0;display:block}.contact>.wrap{grid-template-columns:minmax(0,1.1fr) minmax(0,.9fr);align-items:start;gap:clamp(28px,5vw,80px);padding-top:clamp(48px,6vw,88px);padding-bottom:clamp(40px,5vw,64px);display:grid}.contact h2,.contact h3{color:var(--on-ink)}.contact .lead{color:var(--on-ink);max-width:30em}.contact .rail,.contact .k{font:italic 400 28px var(--cm);color:var(--on-ink-link);margin:0 0 6px;display:block}.contact a{color:var(--on-ink-link);font-weight:600}.contact a:hover{color:var(--on-ink)}.contact .btn{background:var(--on-ink);color:var(--pig);border-color:var(--on-ink);margin:0 12px 12px 0}.contact .btn:hover{background:var(--pig);color:#fff;border-color:var(--on-ink-link)}.contact .btn.alt{color:var(--on-ink);border-color:var(--on-ink);background:0 0}.contact .btn.alt:hover{background:var(--on-ink);color:var(--ink)}.contact :focus-visible,.foot :focus-visible{outline-color:var(--on-ink-link)}.contact dl{font:400 18px/1.45 var(--serif);border-top:1px solid var(--on-ink-rule);grid-template-columns:7em 1fr;row-gap:12px;margin:0;padding-top:18px;display:grid}.contact dt{font:700 var(--small)/1.6 var(--sans);color:var(--on-ink2)}.contact dd{margin:0}.foot{background:var(--ink);color:var(--on-ink2);margin-top:clamp(64px,8vw,120px)}.foot .cols,.foot .fine{background-position:top;background-repeat:no-repeat;background-size:calc(100% - 2 * var(--pad)) 1px}:is(main:has(>.contact:last-child)+.foot,main:has(.contact:last-child)+.foot){margin-top:0}.foot .fine{background-image:linear-gradient(var(--on-ink-rule),var(--on-ink-rule))}main:has(.contact:last-child)+.foot .cols{background-image:linear-gradient(var(--on-ink-rule),var(--on-ink-rule))}.foot .cols{font:400 var(--small)/1.55 var(--sans);grid-template-columns:minmax(0,1.25fr) repeat(3,minmax(0,1fr));gap:clamp(24px,3.4vw,56px);padding-top:40px;padding-bottom:36px;display:grid}.foot b{color:var(--on-ink);font-weight:700}.foot .bigmark{font:400 56px/1 var(--cm);color:var(--on-ink-link);margin-bottom:10px;display:block}.foot .co{margin:0 0 14px}.foot .co span{display:block}.foot h2{font:700 var(--small)/1.4 var(--sans);letter-spacing:0;color:var(--on-ink);max-width:none;margin:0 0 12px}.foot ul{margin:0;padding:0;list-style:none}.foot li{margin:0}.foot li a{align-items:center;min-height:32px;display:inline-flex}.foot a{color:var(--on-ink-link);text-underline-offset:.2em;font-weight:500;text-decoration:underline;text-decoration-thickness:1px}.foot a:hover{color:var(--on-ink);text-decoration-thickness:2px}.foot .fine{font:400 var(--small)/1.5 var(--sans);flex-wrap:wrap;justify-content:space-between;gap:8px 28px;padding-top:18px;padding-bottom:36px;display:flex}.foot .fine p{margin:0}.paper-head{border-bottom:2px solid var(--ink);padding:clamp(34px,5vw,64px) 0 28px}.paper-head .idline{font:700 var(--small) var(--sans);color:var(--pig);font-variant-numeric:tabular-nums;margin:0 0 18px}.paper-head h1{text-wrap:balance;font:600 clamp(32px,4.6vw,60px)/1.06 var(--serif);letter-spacing:-.02em;font-variation-settings:"opsz" 60;max-width:17em;margin:0}.paper-head .by{font:400 17px/1.5 var(--sans);color:var(--ink2);margin:18px 0 0}.paper-head .by b{color:var(--ink)}.paper-head .dl{margin-top:20px}.paper{grid-template-columns:76px minmax(0,40em) 250px;column-gap:clamp(28px,3vw,44px);padding-top:34px;display:grid}.paper>*{grid-column:2}.paper>.mn{grid-column:3}.paper>.pn{font:italic 400 24px var(--cm);color:var(--pig);grid-column:1;padding-top:.35em}.paper h2{font:600 clamp(26px,2.5vw,33px)/1.15 var(--serif);font-variation-settings:"opsz" 40;max-width:none;margin:1.4em 0 .5em}.paper h2 .sn{font-family:var(--cm);color:var(--pig);margin-right:.45em;font-style:italic;font-weight:400}.paper p,.paper li{-webkit-hyphens:manual;hyphens:manual;font-size:19px;line-height:1.66}.paper .abstract{border-top:1px solid var(--ink);border-bottom:1px solid var(--rule);margin:6px 0 10px;padding:6px 0 4px}.paper .abstract h2{font:700 var(--small)/1.3 var(--sans);margin:12px 0 8px}.paper .abstract p{font-size:18.5px}.paper .tbl{margin:10px 0 6px;overflow-x:auto}.paper .tbl table{border-collapse:collapse;min-width:100%;font:400 17px/1.45 var(--serif)}.paper .tbl th{font:700 var(--small)/1.3 var(--sans);text-align:left;border-top:2px solid var(--ink);border-bottom:1px solid var(--ink);padding:9px 16px 9px 0}.paper .tbl td{border-bottom:1px solid var(--rule-soft);vertical-align:top;padding:9px 16px 9px 0}.paper .tbl tr:last-child td{border-bottom:2px solid var(--ink)}.paper p.tcap{font:400 var(--small)/1.5 var(--sans);color:var(--ink2);margin:0 0 1.4em}.paper p.tcap em{color:var(--ink);font-style:normal;font-weight:700}.paper code{font:500 .86em var(--sans)}.paper .endnote{color:var(--ink2);border-top:1px solid var(--rule);margin-top:2em;padding-top:14px;font-size:17px}.toc ol{margin:6px 0 0;padding:0;list-style:none}.toc a{color:var(--ink);text-decoration:none}.toc a:hover{color:var(--pig);text-decoration:underline}.toc .sn{font:italic 400 17px var(--cm);color:var(--pig);margin-right:.5em}@media (max-width:1180px){.sec{grid-template-columns:60px minmax(0,1fr) 220px}.brand .tag{display:none}.nav{gap:22px}}@media (max-width:480px){.head .wrap{gap:12px}}@media (max-width:1020px){.nav a:not(.btn),.nav .btn:not(.keep){display:none}.menu{display:block}.hero{grid-template-columns:1fr;row-gap:44px}.sec,.paper{grid-template-columns:minmax(0,1fr)}.sec>*,.sec>.wide,.sec>.full,.paper>*,.sec>.mn,.paper>.mn{grid-column:1}.paper>.tocwrap{grid-area:auto/1}.tocwrap .sticky{position:static}.sec>.rail,.paper>.pn{grid-area:auto/1;padding:0 0 10px;font-size:26px}.mn{max-width:36em;margin:4px 0 22px}.factors{grid-template-columns:1fr;row-gap:6px}.otimes{text-align:center;padding:0;font-size:32px;line-height:1}.yours,.contact{grid-template-columns:1fr}.axioms{grid-template-columns:1fr;row-gap:26px}.pg-cols{grid-template-columns:1fr;row-gap:30px}.case{flex-direction:column;display:flex}.case>div:not(.who){display:contents}.case>div:not(.who)>*{order:3}.case>div:not(.who)>h3{order:1}.case .who{order:2;padding:0 0 8px}.case .who:empty{display:none}.foot .cols{grid-template-columns:1fr 1fr}.foot .cols>div:first-child{grid-column:1/-1}.contact>.wrap{grid-template-columns:1fr}.contact:not(:has(>.wrap)){grid-template-columns:1fr}}@media (max-width:700px){body{font-size:17.5px;line-height:1.6}.head .wrap{min-height:60px}.brand .mark{font-size:30px}.brand .word{font-size:21px}.facts{border-top:1px solid var(--ink);grid-template-columns:1fr}.facts li{border-right:0;border-bottom:1px solid var(--rule-soft);margin:0;padding:11px 0}.facts li:last-child{border-bottom:0}.cta .btn{flex:100%}.display{grid-template-columns:1fr}.display .eqno,.display .wide-eq{display:none}.display .narrow{display:block}.display .katex{font-size:34px}.display .katex-display>.katex{text-align:left}.lead,.sec .lead{font-size:19px}.prose,.paper p,.paper li{font-size:17.5px}.flow{grid-template-columns:1fr;row-gap:0}.flow .join{height:20px}.flow .join:before{width:1.5px;height:100%}.flow .outs .node b{min-width:0;display:block}.ledger caption,table.bt:not(.fit) caption{display:block}.ledger thead{display:none}.ledger,.ledger tbody,.ledger tr,.ledger td{width:auto;display:block}.ledger tr{border-bottom:1px solid var(--rule-soft);padding:14px 0}.ledger td{border:0;padding:0}.ledger td.n{display:none}.ledger td.id,.ledger td.d,.ledger td.p{margin-right:14px;padding:0;display:inline-block}.ledger td.t{margin-top:4px;font-size:17px}.ledger tr.latest td{background:0 0}.ledger tr.latest{background:var(--wash);padding-left:10px;padding-right:10px}table.bt:not(.fit) thead{display:none}table.bt:not(.fit),table.bt:not(.fit) tbody,table.bt:not(.fit) tr,table.bt:not(.fit) td,table.bt:not(.fit) tbody th{width:auto;display:block}table.bt:not(.fit) tr{border-bottom:1px solid var(--rule-soft);padding:12px 0}table.bt:not(.fit) td,table.bt:not(.fit) tbody th{border:0;padding:0 0 6px}table.bt:not(.fit) tbody tr:last-child td,table.bt:not(.fit) tbody tr:last-child th{border-bottom:0}table.bt:not(.fit) tbody tr:last-child{border-bottom:2px solid var(--ink)}table.bt:not(.fit) tbody{border-top:2px solid var(--ink)}table.bt:not(.fit) [data-label]:before{content:attr(data-label);font:600 var(--small)/1.4 var(--sans);color:var(--ink3);display:block}table.bt:not(.fit) td:empty{display:none}table.bt.fit tbody th{width:auto}.frame{padding-left:16px;padding-right:16px}.paper-head h1{font-size:31px}}@media (prefers-reduced-motion:reduce){*{transition:none!important;animation:none!important}}@media print{.head,.foot,.cta,.menu{display:none}}.paper .tbl td:first-child{font-weight:600}.m{font-family:KaTeX_Math,KaTeX_Main,serif;font-style:italic}sub.m{vertical-align:-.25em;font-size:.72em;line-height:0}.lead.hl{font:italic 400 clamp(24px,2.6vw,34px)/1.2 var(--serif);margin-bottom:.5em}.mn.inline{margin-top:6px}.tblock{border-bottom:2px solid var(--ink);padding:clamp(34px,5vw,64px) 0 28px}.tblock h1{text-wrap:balance;font:600 clamp(34px,4.8vw,64px)/1.05 var(--serif);letter-spacing:-.02em;font-variation-settings:"opsz" 60;max-width:17em;margin:0}.tblock .what{font:400 clamp(19px,1.7vw,23px)/1.5 var(--serif);color:var(--ink2);max-width:34em;margin:16px 0 0}.tblock .tf{border-top:1px solid var(--rule);grid-template-columns:repeat(auto-fit,minmax(11em,max-content));gap:12px clamp(24px,3.4vw,52px);margin:24px 0 0;padding:14px 0 0;display:grid}.tblock .tf div{min-width:0}.tblock .tf dt{font:700 var(--small)/1.4 var(--sans);color:var(--ink3)}.tblock .tf dd{font:600 17px/1.4 var(--sans);font-variant-numeric:tabular-nums;color:var(--ink);margin:2px 0 0}.tblock .tn{font:400 17px/1.5 var(--sans);color:var(--ink2);margin:16px 0 0}.doc{column-gap:var(--gap);grid-template-columns:76px minmax(0,40em) minmax(0,250px);padding-top:34px;display:grid}.doc>*{grid-column:2}.doc>.tocwrap{grid-area:1/3/span 80}.doc .lead{max-width:34em}.doc h2{font:600 clamp(26px,2.5vw,33px)/1.15 var(--serif);font-variation-settings:"opsz" 40;max-width:none;margin:1.6em 0 .5em}.doc h3{margin-top:1.4em}.doc p,.doc li{font-size:19px;line-height:1.66}.doc ul,.doc ol{margin:0 0 1em;padding-left:1.3em}.doc li{margin-bottom:.4em}.toc{font:400 17px/1.4 var(--sans)}.toc .th,.toc summary{font:700 var(--small)/1.4 var(--sans);color:var(--ink);margin:0}.toc summary{cursor:pointer;list-style:none}.toc summary::-webkit-details-marker{display:none}.toc details:not([open])>summary:after{content:" (show)";color:var(--ink3);font-weight:500}@media (max-width:1020px){.toc summary:after{content:" (show)";color:var(--ink3);font-weight:500}.toc details[open]>summary:after{content:" (hide)"}}.toc-fold{border-top:2px solid var(--ink);border-bottom:1px solid var(--rule);margin:0 0 20px;display:none}.toc-rail{border-top:2px solid var(--ink);padding-top:10px}.toc li{margin:0 0 9px}.toc a{padding:2px 0;display:inline-block}.toc details>summary{align-items:center;min-height:44px;display:flex}.toc .sn{color:var(--pig)}.ruled{border-top:2px solid var(--ink);margin:14px 0 0;padding:0;list-style:none}.film{margin:0}.film video{background:var(--ink);aspect-ratio:16/9;border:1px solid var(--rule);width:100%;height:auto;display:block}.film .rt{font:600 var(--small)/1.4 var(--sans);color:var(--ink3);font-variant-numeric:tabular-nums}.film details{border-top:1px solid var(--rule);border-bottom:1px solid var(--rule);margin-top:14px}.film details>summary{cursor:pointer;min-height:48px;font:600 17px var(--sans);color:var(--pig);text-underline-offset:.2em;align-items:center;text-decoration:underline;list-style:none;display:flex}.film details>summary::-webkit-details-marker{display:none}.film .tx{max-height:26em;padding:4px 0 14px;overflow:auto}.film .tx p{max-width:40em;font-size:17px;line-height:1.6}.prose-doc{max-width:40em}.nf{padding-top:clamp(48px,8vw,120px)}.nf h1{font:400 clamp(34px,4.8vw,64px)/1.05 var(--cm);letter-spacing:-.02em;text-wrap:balance;margin:0 0 .4em}@media (max-width:1180px){.doc{grid-template-columns:60px minmax(0,40em) minmax(0,220px)}}@media (max-width:1020px){.doc{grid-template-columns:minmax(0,1fr)}.doc>*,.doc>.tocwrap{grid-area:auto/1}.toc-rail{display:none}.toc-fold{display:block}}@media (max-width:700px){.doc p,.doc li{font-size:17.5px}.tblock h1{font-size:34px}}.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}table.bt td,table.bt th,.ledger td{font-variant-numeric:lining-nums tabular-nums}.toc li{grid-template-columns:2em minmax(0,1fr);align-items:baseline;display:grid}.toc li .sn{margin-right:0}.doc.legal{grid-template-columns:minmax(0,40em) minmax(0,250px)}.doc.legal>*{grid-column:1}.doc.legal>.tocwrap{grid-column:2}@media (max-width:1180px){.doc.legal{grid-template-columns:minmax(0,40em) minmax(0,220px)}}@media (max-width:1020px){.doc.legal{grid-template-columns:minmax(0,1fr)}.doc.legal>*,.doc.legal>.tocwrap{grid-column:1}}