.root-lens{--paper:#f7f6f2;--ink:#151515;--ink-2:#3d3d3a;--ink-3:#6f6f6a;--rule:#e2e1db;--strike:#c8471d;background:var(--paper);color:var(--ink);font-family:var(--font-stix), "STIX Two Text", Georgia, serif;-webkit-font-smoothing:antialiased;text-rendering:optimizelegibility;margin:0}.root-lens *,.root-lens :before,.root-lens :after{box-sizing:border-box}.root-lens :where(p,h1,h2){margin:0}.root-lens a{color:inherit;text-decoration:none}.root-lens ::selection{background:#1f47c929}.rl-ang{font-family:var(--font-math), "Noto Sans Math", var(--font-stix), serif}.rl-mono{font-family:var(--font-mono), ui-monospace, Menlo, monospace}.rl-dim{color:var(--ink-3);font-size:12px}.rl-nowrap{white-space:nowrap}.rl-short{display:none}.rl-page{--eq:clamp(38px, 3.47vw, 50px);flex-direction:column;min-height:100dvh;padding:40px clamp(24px,8.33vw,120px);display:flex}.rl-head{justify-content:space-between;align-items:baseline;gap:16px;display:flex}.rl-name-head{font-size:17px}.rl-state{flex-direction:column;flex:1;display:flex}.rl-eq{grid-template-columns:calc(var(--eq) * 5.24) calc(var(--eq) * 1.44) minmax(0, 1fr);align-items:baseline;margin-top:clamp(40px,9vh,96px);display:grid}.rl-lhs{font-size:var(--eq);letter-spacing:-.005em;white-space:nowrap;grid-area:1/1;font-weight:400;line-height:1.5}.rl-lhs-eq{display:none}.rl-op{font-size:var(--eq);text-align:center;line-height:1.5}.rl-op-eq{grid-area:1/2}.rl-op.r1{display:none}.rl-op.r2{grid-area:2/2}.rl-op.r3{grid-area:3/2}.rl-op.r4{grid-area:4/2}.rl-term.r1{grid-area:1/3}.rl-term.r2{grid-area:2/3}.rl-term.r3{grid-area:3/3}.rl-term.r4{border-bottom:0;grid-area:4/3}.rl-term{grid-template-columns:calc(var(--eq) * 6) minmax(0, 1fr) minmax(150px, 214px);border-bottom:1px solid var(--rule);align-items:baseline;column-gap:28px;padding:6px 0 12px;transition:opacity .18s ease-out;display:grid}.rl-term:focus-visible{outline:2px solid var(--lens);outline-offset:4px}.rl-ket{font-size:var(--eq);white-space:nowrap;line-height:1.4}.rl-coef{min-width:.62em;color:var(--ink-3);margin-right:.12em;font-size:.6em;display:inline-block;position:relative}.rl-half,.rl-new{transition:opacity .2s,transform .34s cubic-bezier(.2,.8,.2,1);display:inline-block}.rl-new{opacity:0;position:absolute;top:0;left:0;transform:translateY(.45em)}.rl-phasor{border:1px solid color-mix(in srgb, var(--lens) 45%, transparent);border-radius:50%;width:.4em;height:.4em;margin-left:-.2em;transition:opacity .2s;position:absolute;top:-.58em;left:50%}.rl-phasor:before{content:"";background:color-mix(in srgb, var(--lens) 80%, var(--ink));transform-origin:50% 0;width:1px;height:50%;transform:rotate(calc(-.25turn + var(--tau,0turn) * var(--n2,1)));margin-left:-.5px;position:absolute;top:50%;left:50%}.rl-state:is([data-phase=measured],[data-phase=collapsed]) .rl-phasor{opacity:0}.rl-wave-slot{min-height:0;margin:16px calc(var(--eq) * 1.1) 12px 0;flex-direction:column;grid-area:2/1/5;align-self:stretch;gap:10px;display:flex}.rl-wave-plot{flex:auto;min-height:120px;position:relative}.rl-wave{width:100%;height:100%;position:absolute;inset:0;overflow:visible}.rl-wave-h{display:none}.rl-wave-fill{opacity:.2}.rl-wave-line{stroke-width:1.25px;opacity:.85}.rl-wave-axis{stroke:var(--rule);stroke-width:1px}.rl-wave-cap{color:var(--ink-3);margin:0;font-size:11px;line-height:1.5}.rl-name{color:var(--lens)}.rl-desc{color:var(--ink-2);font-size:16.5px;line-height:1.45}.rl-where{flex-direction:column;gap:8px;display:flex;position:relative}.rl-dom{font-family:var(--font-mono), ui-monospace, monospace;color:var(--lens);text-underline-offset:4px;font-size:12px}.rl-bar{background:var(--rule);height:2px;display:block;position:relative;overflow:hidden}.rl-fill{background:var(--lens);width:25%;transition:width .24s ease-out;position:absolute;inset:0 auto 0 0}:is(.rl-state[data-phase=idle] .rl-eq:has(.rl-term:hover) .rl-term:not(:hover),.rl-state[data-phase=idle] .rl-eq:has(.rl-term:focus-visible) .rl-term:not(:focus-visible)){opacity:.3}.rl-state[data-phase=idle] .rl-term:hover .rl-fill,.rl-state[data-phase=idle] .rl-term:focus-visible .rl-fill{width:100%}.rl-term:hover .rl-dom,.rl-term:focus-visible .rl-dom{text-decoration:underline}.rl-state[data-phase=superposed] .rl-fill{animation:.64s ease-in-out both rl-amp;animation-delay:calc(var(--i) * -.16s)}@keyframes rl-amp{0%{width:25%}25%{width:72%}50%{width:6%}75%{width:58%}to{width:25%}}.rl-name{transform-origin:0 0;display:inline-block}.rl-desc,.rl-where,.rl-coef,.rl-op{transition:opacity .4s,filter .4s}.rl-state:is([data-phase=measured],[data-phase=collapsed]) .rl-term:not(.is-chosen){border-bottom-color:#0000;transition:border-color .4s}.rl-state:is([data-phase=measured],[data-phase=collapsed]) .rl-term:not(.is-chosen) .rl-name{visibility:hidden}.rl-state:is([data-phase=measured],[data-phase=collapsed]) .rl-term:not(.is-chosen) :is(.rl-desc,.rl-where){opacity:0;filter:blur(4px)}.rl-state:is([data-phase=measured],[data-phase=collapsed]) .rl-term:not(.is-chosen) .rl-coef{opacity:.3;transition-delay:.3s}.rl-state:is([data-phase=measured],[data-phase=collapsed]) .rl-op:not(.rl-op-eq){opacity:0}.rl-state:is([data-phase=measured],[data-phase=collapsed]) .rl-term:not(.is-chosen) .rl-fill{width:0}.rl-state:is([data-phase=measured],[data-phase=collapsed]) .rl-term.is-chosen .rl-fill{width:calc(var(--p,1) * 100%);transition:width .3s cubic-bezier(.3,1.5,.5,1)}.rl-prob{color:var(--lens);opacity:0;font-size:11px;transition:opacity .2s;position:absolute;top:calc(100% + 5px);right:0}.rl-state:is([data-phase=measured],[data-phase=collapsed]) .rl-term.is-chosen .rl-prob{opacity:1}.rl-flight{z-index:45;pointer-events:none;position:fixed;inset:0;overflow:hidden}.rl-glyph{text-align:center;white-space:pre;will-change:transform, opacity;display:block;position:absolute}.rl-ring{will-change:transform, opacity;border:1.5px solid;border-radius:50%;position:absolute}.rl-state:is([data-phase=measured],[data-phase=collapsed]) .rl-half{opacity:0;transform:translateY(-.45em)}.rl-state:is([data-phase=measured],[data-phase=collapsed]) .rl-new{opacity:1;transform:none}.rl-state:is([data-phase=measured],[data-phase=collapsed]) .rl-term:not(.is-chosen) .rl-new{text-decoration:line-through;-webkit-text-decoration-color:var(--strike);text-decoration-color:var(--strike);text-decoration-thickness:1.5px}.rl-state:is([data-phase=measured],[data-phase=collapsed]) .rl-term.is-chosen .rl-new{color:var(--ink)}.rl-collapse{z-index:50;pointer-events:none;clip-path:circle(0 at var(--cx,50%) var(--cy,50%));place-items:center;transition:clip-path .66s cubic-bezier(.7,0,.3,1);display:grid;position:fixed;inset:0}.rl-state[data-phase=idle] .rl-collapse{transition:none}.rl-state[data-phase=collapsed] .rl-collapse{clip-path:circle(var(--cr,150vmax) at var(--cx,50%) var(--cy,50%))}.rl-collapse:before,.rl-collapse:after{content:"";pointer-events:none;position:absolute}.rl-collapse-eq{z-index:1;text-align:center;font-size:clamp(30px,4vw,54px);line-height:1.3;position:relative}.rl-collapse-lhs{opacity:0;transition:opacity .34s .42s,transform .44s cubic-bezier(.2,.8,.2,1) .42s;display:inline-block;transform:translate(-10px)}.rl-state[data-phase=collapsed] .rl-collapse-lhs{opacity:1;transform:none}.rl-collapse-term{transform-origin:0 0;color:var(--lens);display:inline-block}.rl-collapse-dom{font-family:var(--font-mono), ui-monospace, monospace;color:var(--lens);margin-top:10px;font-size:13px;display:block}.rl-collapse-type{clip-path:inset(0 100% 0 0);display:inline-block}.rl-state[data-phase=collapsed] .rl-collapse-type{animation:rl-type .36s steps(var(--n,20), end) .36s forwards}@keyframes rl-type{to{clip-path:inset(0)}}.rl-collapse[data-lens=dev]:before{transform-origin:0;background:#e3e3df;height:1px;transition:transform .38s .3s;top:51px;left:max(20px,50% - 476px);right:max(20px,50% - 476px);transform:scaleX(0)}.rl-collapse[data-lens=ee]{background-image:radial-gradient(#dcd8c8 .9px,#0000 1px);background-size:20px 20px}.rl-collapse[data-lens=ee]:before,.rl-collapse[data-lens=ee]:after{clip-path:inset(0 100% 100% 0);border:1px solid #57533f;transition:clip-path .38s .3s}.rl-collapse[data-lens=ee]:before{inset:14px}.rl-collapse[data-lens=ee]:after{border-width:1.6px;transition-delay:.42s;inset:36px}.rl-collapse[data-lens=physics]{background-image:linear-gradient(#e7e4d5 1px,#0000 1px),linear-gradient(90deg,#e7e4d5 1px,#0000 1px);background-size:24px 24px}.rl-collapse[data-lens=physics]:before{transform-origin:top;background:#d27a5c;width:1.5px;transition:transform .38s .3s;top:0;bottom:0;left:clamp(22px,11.7vw,168px);transform:scaleY(0)}.rl-state[data-phase=collapsed] .rl-collapse[data-lens=dev]:before{transform:scaleX(1)}.rl-state[data-phase=collapsed] .rl-collapse[data-lens=ee]:before,.rl-state[data-phase=collapsed] .rl-collapse[data-lens=ee]:after{clip-path:inset(0)}.rl-state[data-phase=collapsed] .rl-collapse[data-lens=physics]:before{transform:scaleY(1)}.rl-scene{pointer-events:none;position:absolute;inset:0}.rl-sc-head,.rl-sc-nav{font-family:var(--font-mono), ui-monospace, monospace;opacity:0;font-size:13px;line-height:20px;transition:opacity .3s .55s;position:absolute;top:17px}.rl-sc-head{color:#141414;left:max(20px,50% - 476px)}.rl-sc-dim{color:#8b8b86;margin-left:10px}.rl-sc-branch{color:#1f47c9}.rl-sc-nav{word-spacing:14px;color:#8b8b86;right:max(20px,50% - 476px)}.rl-sc-zone,.rl-sc-row{font-family:var(--font-mono), ui-monospace, monospace;color:#57533f;opacity:0;transition:opacity .2s ease calc(.5s + var(--k) * 30ms);font-size:10px;position:absolute;transform:translate(-50%,-50%)}.rl-sc-zone{top:25px;left:calc(36px + (100% - 72px) * (var(--k) + .5) / 8)}.rl-sc-row{top:calc(36px + (100% - 72px) * (var(--k) + .5) / 4);left:25px}.rl-sc-title{width:min(440px,44vw);font-family:var(--font-mono), ui-monospace, monospace;letter-spacing:.08em;color:#57533f;clip-path:inset(0 0 0 100%);border-top:1.6px solid #57533f;border-left:1.6px solid #57533f;grid-template-columns:auto auto 1fr;font-size:10px;transition:clip-path .36s .46s;display:grid;position:absolute;bottom:36px;right:36px}.rl-sc-title>span{white-space:nowrap;border-left:1px solid #57533f;padding:11px 12px}.rl-sc-title>span:first-child{border-left:0}.rl-sc-margin,.rl-sc-domain{opacity:0;transition:opacity .3s .55s;position:absolute}.rl-sc-margin{font-family:var(--font-stix), serif;color:#1c2541;font-size:16px;top:36px;left:40px}.rl-sc-domain{font-family:var(--font-mono), ui-monospace, monospace;color:#5d6275;font-size:12px;top:39px;left:calc(clamp(22px,11.7vw,168px) + 32px)}.rl-sc-page{opacity:0;background:#fbf8f0;width:min(549px,50% - 40px);transition:opacity .34s .3s,transform .5s cubic-bezier(.2,.8,.2,1) .3s;position:absolute;top:60px;bottom:-40px;transform:translateY(26px);box-shadow:0 1px 2px #3c281414,0 18px 40px -24px #3c281459}.rl-sc-left{background:linear-gradient(270deg,#3c281412,#0000 40px),#fbf8f0;right:calc(50% + 2px)}.rl-sc-right{background:linear-gradient(90deg,#3c28140f,#0000 32px),#fbf8f0;transition-delay:.38s;left:calc(50% + 2px)}.rl-sc-running{font-family:var(--font-stix), serif;letter-spacing:.14em;color:#6d655b;opacity:0;font-size:12px;transition:opacity .3s .6s;position:absolute;top:19px;left:calc(50% + -1*min(549px,50% - 40px) + 10px)}.rl-state[data-phase=collapsed] :is(.rl-sc-head,.rl-sc-nav,.rl-sc-zone,.rl-sc-row,.rl-sc-margin,.rl-sc-domain,.rl-sc-running){opacity:1}.rl-state[data-phase=collapsed] .rl-sc-title{clip-path:inset(0)}.rl-state[data-phase=collapsed] .rl-sc-page{opacity:1;transform:none}@media (max-width:1099px){.rl-sc-left{display:none}.rl-sc-right{width:min(549px,100% - 32px);left:50%;transform:translate(-50%,26px)}.rl-state[data-phase=collapsed] .rl-sc-right{transform:translate(-50%)}.rl-sc-running{left:24px}}@media (max-width:699px){.rl-sc-title,.rl-sc-margin,.rl-sc-nav{display:none}}.rl-sentence{margin-top:36px;margin-left:calc(var(--eq) * 6.68);max-width:760px;font-size:20px;line-height:1.5}.rl-dagger{font-family:var(--font-mono), ui-monospace, monospace;color:#8a8a84;margin-left:3px;font-size:11px}.rl-bottom{grid-template-columns:minmax(0,1fr) auto;align-items:end;gap:40px;margin-top:auto;padding-top:36px;display:grid}.rl-foot{flex-direction:column;gap:8px;display:flex}.rl-writing{flex-wrap:wrap;align-items:baseline;gap:2px 1em;font-size:15px;line-height:1.4;display:flex}.rl-writing .rl-mono{font-size:12px}.rl-writing-title{color:var(--ink);text-underline-offset:3px;-webkit-text-decoration:underline #15151547;text-decoration:underline #15151547}.rl-writing-title:hover,.rl-writing-all:hover{color:var(--ink);text-decoration-color:currentColor}.rl-writing-all{color:var(--ink-3)}.rl-footnote{max-width:720px;color:var(--ink-3);font-size:14px;line-height:1.5}.rl-reach,.rl-contact{color:var(--ink-3);flex-wrap:wrap;align-items:baseline;gap:6px 1.2em;font-size:12px;display:flex}.rl-reach a,.rl-contact a{color:var(--ink-2)}.rl-reach .rl-gap{margin-left:.6em}.rl-reach a.rl-book{color:var(--ink)}.rl-reach a:hover{color:var(--ink);text-underline-offset:3px;text-decoration:underline}.rl-contact .rl-gap{margin-left:.6em}.rl-contact .rl-norm{font-family:var(--font-stix), serif;color:var(--ink);margin-right:1em;font-size:15px}.rl-contact a:hover{color:var(--ink);text-underline-offset:3px;text-decoration:underline}.rl-random{border:1px solid var(--ink);min-height:46px;color:var(--ink);font-family:var(--font-stix), serif;cursor:pointer;background:0 0;align-items:baseline;gap:12px;padding:13px 22px;font-size:16px;transition:background .15s,color .15s;display:inline-flex}.rl-random:hover:not(:disabled){background:var(--ink);color:var(--paper)}.rl-random:hover:not(:disabled) .rl-random-note{color:#b9b8b2}.rl-random:focus-visible{outline:2px solid var(--ink);outline-offset:3px}.rl-random:disabled{cursor:default}.rl-random-note{font-family:var(--font-mono), ui-monospace, monospace;color:var(--ink-3);font-size:11.5px}.rl-live{clip:rect(0 0 0 0);white-space:nowrap;width:1px;height:1px;position:absolute;overflow:hidden}@media (max-width:1099px){.rl-page{--eq:40px}.rl-eq{grid-template-columns:calc(var(--eq) * .9) minmax(0, 1fr);margin-top:56px}.rl-lhs{font-size:calc(var(--eq) * 1.18);grid-column:1/-1;margin-bottom:10px;line-height:1.2}.rl-lhs-eq{display:inline}.rl-op-eq{display:none}.rl-op{font-size:calc(var(--eq) * .8);text-align:left;line-height:1.45}.rl-op.r1{grid-area:2/1;display:block}.rl-op.r2{grid-area:3/1}.rl-op.r3{grid-area:4/1}.rl-op.r4{grid-area:5/1}.rl-term.r1{grid-area:2/2}.rl-term.r2{grid-area:3/2}.rl-term.r3{grid-area:4/2}.rl-term.r4{grid-area:5/2}.rl-term{grid-template-columns:minmax(0,1fr);row-gap:6px;padding:12px 0 14px}.rl-wave-slot{grid-area:6/1/auto/-1;align-self:auto;gap:8px;margin:20px 0 0}.rl-wave-plot{flex:none;height:64px;min-height:0}.rl-wave-v{display:none}.rl-wave-h{display:block}.rl-ket{font-size:calc(var(--eq) * .85);line-height:1.15}.rl-where{gap:6px}.rl-bar{max-width:214px}.rl-sentence{margin-top:22px;margin-left:0;font-size:18px}.rl-bottom{display:contents}.rl-random{align-self:flex-start;margin-top:18px}.rl-foot{order:2;margin-top:auto;padding-top:26px}}@media (max-width:699px){.rl-page{--eq:34px;padding:22px 22px 28px}.rl-name-head{font-size:15px}.rl-eq{grid-template-columns:26px minmax(0,1fr);margin-top:48px}.rl-op{font-size:28px}.rl-wave-plot{height:52px}.rl-desc{font-size:15px}.rl-dom{font-size:11px}.rl-long{display:none}.rl-short{display:inline}.rl-sentence{font-size:17px}.rl-random-note{display:none}.rl-footnote{font-size:13px}.rl-contact{font-size:11px}}@media (prefers-reduced-motion:reduce){.rl-term,.rl-fill,.rl-half,.rl-new,.rl-phasor{transition:none}.rl-phasor{display:none}}.rl-missing{justify-content:center;gap:18px}.rl-missing-eq{font-size:clamp(34px,5vw,56px);font-weight:400}.rl-missing-note{color:var(--ink-2);font-size:18px}.rl-link{text-underline-offset:4px;font-size:16px;text-decoration:underline!important}