From 4c576f92acd42c0c18ec72430f8ac666640eafb5 Mon Sep 17 00:00:00 2001
From: ComFreek <comfreek@outlook.com>
Date: Tue, 1 Dec 2020 16:47:38 +0100
Subject: [PATCH] shorten label

---
 .../FrameIT/frameworld/$Angle$Sum.omdoc.xz    | Bin 1916 -> 1916 bytes
 .../FrameIT/frameworld/$Opposite$Len.omdoc.xz | Bin 2128 -> 2128 bytes
 .../$Triangle$Problem_$Angle$At$A.omdoc.xz    | Bin 1260 -> 1260 bytes
 .../$Triangle$Problem_$Angle$At$B.omdoc.xz    | Bin 1116 -> 1116 bytes
 ...riangle$Problem_$Right$Angle$At$C.omdoc.xz | Bin 1224 -> 1224 bytes
 .../LoViVo/gearbox/gearbox.omdoc.xz           | Bin 2460 -> 2448 bytes
 errors/mmt-omdoc/Library/gearbox.mmt.err      | 342 +++++++++++++++---
 narration/Scrolls/TriangleScrolls.omdoc       |   4 +-
 source/Scrolls/TriangleScrolls.mmt            |   4 +-
 9 files changed, 295 insertions(+), 55 deletions(-)

diff --git a/content/http..mathhub.info/FrameIT/frameworld/$Angle$Sum.omdoc.xz b/content/http..mathhub.info/FrameIT/frameworld/$Angle$Sum.omdoc.xz
index 2320a030cc64e5439b7b900f1b1bffbe0f395893..9c66c1d8827d69bec5cab1994b6481b91df448fa 100644
GIT binary patch
delta 1650
zcmV-&295dr4*U+V9sz%#95k>7c=cibOenh3xk)c&88__9q=)h!tz1Nfptw6$)zexb
z|Ayy<ERQsyzdw1^fx`bkrU8jCSt2i3WuYE~qy^Xu2((aJ?Z=e*Dc+%90lF3<$UiVz
z;Ae|9$HkPRmlgjk>Mtlc>h!y56;`TnRa|`U7rfjl3(Gyo%6fk|i8+c19iuhj|ASlR
zPQ@qk5#Ha{<rd6PCk3x>9iel>9S&h{F$LFhGzs2xXgd5k+tGE1_l6q(;IJv@9mF4V
zXb*Iue2f~uo!w^OX>drb<KMhfpr}!_2wLX*K;$mtGJt#1+-8WUh7M2izTr!}Dl!Ug
z^W3Cq&xkVQ;+%g}vy-AdAMm(=#c#nv0es#cLyeKgE&i|OrBoi}`P}3tQ(|fuC7_FS
zL^^d4aab@11SA))t1oAhu+;(DMt1O4O*Nz+-G8plWTdJiz>_l)%TzvLo!c<3f{}li
z==Faz+9(+oE_g|07NC;v@B@J8g0{WNU~h9@ldRc|ZHRwjKUVm+a9aEjY18$L4s;Yf
z?vD6otK9`pSgO_eUJ-SPW(7R~hgSn6o`%4?$&nGNt;8t;qyge)BW%GHWy;ky7#v0q
zqXTHIb&YxpbMT6pn~|%cQzKjq&jX>4n!RCXmp%U<&2#UNwO{t}!f<2E^20e^fOx+O
zD3EsR?Sp?I4Gvo$=*<OF6;hBZ@yk;PmWBcp16b8E!IczV+?}HmSS~R-=d$MLzG%$H
z_skF&84`YEl+>ocJ;N`QGYn0{Co()r&<R=Ac@`LQ@7F5_gJJaO{3uT+`xX*d`E|P0
zwIE?ePy+Qp`Gn6W!|1pSX`FJfs#n1l^&hh&HyD3WO;=#1R54s0oeZ<SVPRXa5Q|m(
zbHM^Pm43v51!3%r3=mR+`jmX{^|jVHBqMgw5G&tOFd{BPG&-J|=#nKUovphTB)AC4
zllt!Ul)g8)bd}62zVIEhAvXrrP5(L--8e->RrO`xLmGZ)b!?yMs;w-Q4&Uf6mwOUy
zrd)p*sezRiv5g(pe<A7<0N(I`d`X0<OO<{WKmm_!$<#~oI8+61gDHAQE>}~YSuX-U
zKWY~xSmJZS>h0p9is{kC)L1u<WBk6OzXsF-&Y96^CAKm1Jjv|LA)gFZ72|oSkTz?A
zcX2<<ef)VQ%-8t=h>1WL`02D|lntU!$n<|A9tQJ{-B>0%^t)nT0&F46M#DdALRj>1
zP*^U@OPOiv2RBt;ksWWB4UIjDpacD_R#Ca9cS)NVv;UA!U&u~4uU)k&c(6*v9AK!$
zi$q{L>;XU|8GSh1`Y@h|36uY`=&Tc;)Q3GBdt=ytf~4(`A*`m{jvlp~;_G8`G0uO1
zDr>;P-`174V^oFFR^d^@zx`4qS3mL}GXCvTJ^PD|>gWfAblIhq(pk1#q)du<iqG7M
z4kn`Si)b0Q$g12_5$*1&(eNGV&mmTu7er&pvhZj4fgoa>^u;AS?FVnI0AMp<lWgX?
zjs%;@a(vIY-sDOg1kG>|qWk2^-;;mIfp`Zd|26!_KES1O2bH%9&{zTrJ65)5n<)dh
zms~b$Li4JUQAaZhgIX>()v5Q^XeK(K#uSAlacEnNG&8)e%vKc5)G!)?=@Bg!eQ6%Q
zR^FEu<dN^Nx6$Ghkw7qXHM?rw_o4wG;#fqSTnc%oYv*_j#t0EG!P8T(jn03$e&1HI
zZa!L~S}?h}UskUj?hsP;P;4NZU=);@u`NMcMSp%ZZTnfaQ4MBo?8?xY$Thn7;OTZS
zS078PF8R{2LC(03Fx*Ru8<qs4Y3N&}Vcr&qo6zV|{{(k>f6O4L_|vD2T#&p=+PHvM
z+}6HH9N4*Zq2RGKq|%<u4iJBc2ITPTGS`91WGIdh&g@BarZSpOU-rV9e~ogl{oQ{A
zcSZSM_11f8OBx<PvLiqq*!ViC&@or%!Az<7@_y{S@6`l4weT8!Dx>#8R6|p%Wk#5a
zyf`^#SxloO&Q5yVkUU}|;5|tQ6@s|bF7j2^-yx`($mFEhjc-SWPakS`PJ`upBShfN
z<*^|>um@Zk#Ka?SM)YTA(ljM~4~oAiT9$QAfY9(q`#zscr$>&E`>oKe#`gSQ%AzK}
wtKPu4=~vq?(3*t+0Ogt^7kiz?H~<0H4!zp}0Q@_F1hK?t`vL#}000D8TEq7&=Kufz

delta 1650
zcmV-&295dr4*U+V9sz%%!Mfe4!3}bWD&WnW0e3GBqLVm1le~&y1?)NHt`-994Csm0
z&?<r*B)Z3z0wE(CW5axQXju_%hj_@3KNqBobId+l<w99V>pXROlw@oq4MgyJ)T{L)
z30Nd0Ds_?(s(d5$lE0(2LTbdmMD;0dP5!|?fma_ZBA@PlOU{2RhOSb-d=URBX|0=)
zk_85T>U)fsIRGG4kjX5R#|=QQeuXH(N=iG#BE}w;L(whiJ!~88?Z}yM-hF56w3g&B
zWx6dyXS9nkiMjP2AQ=8uTa%X|z^>O$NC7853fe-shLDL&TV!mfcs`ZI?!`YBXzCbq
zmG=adpld=@bd7)aeO=|!KtqIGifS1kxO;w{!9S01pM+XyrQ$8m*e?xcl4$n%uBF*i
zj|@tN+r&C@hzS}2>)%f}STDKfVY1i0v-N;)l?Pjcp%ZiCoJ2+#P~qSrDl%nPGk{B8
z1gE|ETUFomJ^ftl9&oq_BI&{UFNjH<P@k)X+0JcxIX!>-R1mm>=fQGg=1e9?+dGiO
z7Vs@BEdiqzru@u}>1oV^<JL*MBuNGjZl-eWFGCWtj)e=McSsJcEWG70k~=wtV<JLu
zhT+!}npcqww!pGD(1RBwYyJXikP}z0@og6ISFPg0j!7FDAq?7lr(hua6epC6AY<VP
z6`)4sJWqep5Q7l3PsxoYKBG-;v~PGbl@kfTLK@y_2|kpv$T4CK;)<Z!C8eR&<X#Da
zaNxS2HeM29&E`fP5%{pfVH3&SKvOf2p+Z5R!m_i#ZuE{9`}Vdoj^0E`PDysGJ-NhM
zal6Err!nGUxLT=2>;&gsoGY6TpRLT1yQ+T*z~6t0XM-*hT*d|~=9BPBYbsw`nue~}
zUM>`bf}y+^3M)5fE|Sz9za1><znud>QC(MzJT%)%z8^E{Yo$x!G~x?QZf+Oe0nQ#s
zswu(_2BL@yI0;;SOoL)c$*XPLf7za-C(VV$cZOK{k@s{yW$f;_)dy#U*wB8mrxVQ@
zF)@Etwi<z{Dy?tc`v1IGv}L&oyR^&iHf7F1I$hMcwEico7DUiwwaVV~3hUKyk)VZ~
zoNQnF2-#-2>HlwyE$WNf-=+VI*et8`&5kOiAsu$y7dsMkt@GhShcP@qvP?z<(kVB4
zu9~Yt_*{;PXPfF+osrg@EWk$x><fS95?OySh%^HTl5gr!yGI!-3HFcqhrBlmu|`Io
zb=woT9LLAa1J!VPOs3L7Fu_j`uWLLd@NrBbuF0D#)QlI`$x0ci@7V+Zd)6Juam7QO
z4Uv*b;ZR(yUnri(W!R9A)l&n;0@q55qtypoNJWd-e=O_UoF^9-Q~Lv$<I*=!Q`vtU
z+6~u)bTAStNe0!xlf}UseQfs)J6=-)l!0{tU6G_iz;e&PY(n^6+T5t09&T=&lE8nq
zBxyWfQGj+|K}=k^LI7^VPIuLWoU%9cB~dmu@bG90k1~i&MPbioFe)!hKkQ65t6Jht
zL8{Zs3ZN`O{~-D_vvb?Qm6GtDU(0`*zx({CVcotay2ZPa2ku`PtMS#^3cK<zMAHQ&
zWgg#Ao{i@?i1sqMuh;+^U3uidSPx&SEle)h*^Xo_EJHEb@X=vqvx$^Y(_pv-Zzw9I
z45IkJU|u$AdYLR?GW4fu{Vk#1l%4rZ<;wV&Q2bJ)U`a>a$P*EmkSGqL7ny%PMvb5O
zc55lQ2@8#Xd^piqo)2Um2f>w;{ZDAr6gW4z{XF+>9Yn{KI}{*7@EAX*3=AF0(CIXt
zdx?qJp*Y%?S-(t$7fUT9ZEz4!#c64$5)FbFMOdI<f$GB|WS+5V9$S##r41~Qu+M7l
z<8HZ6u-TO6Kdj)EO?J%1t?_@9e%t^iub=j9?$>`Rj;4$wczs=J!RpXEDNQH~%V+qH
zYa>gQXfr51U7teRCe;qW%&hHKW{&)+f7wqnUVZcGOY=30_Z>S(`pQvw4$}}@<>F2E
z+})8Ts=m~`yb)Q<f=WR-R09XbEf|LVqcFkZGq2^hq`<UwoY#pXmyK$Q8UFb2#Yb)!
ztDWE5Hx^e8NiymAlVE6_GbNTwUPaY~puW6HIDpqJ;Hj|%WKXZpwl~Y9-nIwi3%u~u
w>|eu1HJr|+y5;}?0N&?5;};bN)&K$54!zp}0Q@_F1hK?t`vL#}000D8S|(f}yZ`_I

diff --git a/content/http..mathhub.info/FrameIT/frameworld/$Opposite$Len.omdoc.xz b/content/http..mathhub.info/FrameIT/frameworld/$Opposite$Len.omdoc.xz
index 64e3bf31b209e8bee3c3aff372ec668f6e46d6f6..4be756ef007a97bef120d55489c5a7a911d34bee 100644
GIT binary patch
delta 1866
zcmV-Q2etUn5YP~i903rq9RvY?K0A6DY}sF2H0*Vebc?T(z=s{YmcKzPqQkxl?GP+M
zs}0Ki`&|C|+LI+}eBGNj?#k8wIZwLCRk>!P@JC?CPIty-SyQ@&bb4?J#sF)YyXj-J
zIzbh_#p|Lny12R2Lt<tj;PhChDA>cRXaY<Z{=gI0l5MjcA9@rlf-$~-q2XnkufX`!
zVd+_?dKdEt!cgayn-DwvP1PC3;x}k8$O>F1%YY18v2dmfZ~E6BfTxF<#Bi6#l1>od
z1Atjar6ti?1B*Cg3sg<BtnpBzHQFYoMlGxg?W;|+XgH!=sOue+)tJ4Kt#hz(>`Jhh
zi=7({35cpl0bvWve@wuCH3#dV53z@kqFSC0BcUhf*hmbhtzC)dFfO|Pig-xhz00t7
z>1*~-LDi*GUSI7{qPic4_uqnQtHf--Dx}0_?@f;RqCB?qa2h~;6^na^tdTqge0o<j
zMnK<R;00$1g}wU8OA6l(2ipZKL^Jw$;S&PWw-2{J0WqfY{FC*6-z)x?rLOD{>DX*i
zg;+#|8WSD{p5!ncS#WFhVWL)PC4Hlc`rKfW*llLxYKp}jfZlEnX11A%Wgu)jFaF~u
zB3kjuA^hkrMWpLM3k?=YYWqiaTpemxh)_~K1FWyj{L=i7wS6nizHqQ@1~bTL`-JF+
zJ?1EW*r{)~&yo^<y0bM1=EPSdb}^7_WrG3s6rb6bZ*?kQ{6={|R~Q(SvcK~8jRMIl
z0ThxN6h2xJ?OoEwlH!EfR;WnRDk|B^Y<@-v`)FCeQ;%?<KabCyUBgHNWW<8=TargL
z0R@ZiMN8!d)CjnrzMqy?51{lfM5Gh+L$bBbyQSxcsJMWCfWr{8dL43Vlph*#7$tU9
zcVBQ}Rh`x6mOI02M#6HxLV1ZuP)`0h6DATITt4VKynoO7r8UQ)-myr{sU(EO>4Wro
zifftuY}hN1@X1n=D7Ve4th(J)nmk%O2jfG)*z0~t$y1lKyQL5iOyM?rg=(arR$J4{
zbxKX*Mk#)OQ?}IHky8n$aj=FUV#k*^rgkj>CS|>GoLVsa<p%>1c6&Hr2N;>k*{!ws
z1KQ8q&;K@Ixk-i`jaHNE^t9@m-e5ToX5BaEBv*)^fwS%el!SH{4PtAV=iuYESv63Z
z>)esDu_qb>e100N|Hx=FLC`r0Gjk~EaHuGz;9lf^z$KDo1D#z81z|Mvd*3S4Wk8x$
z5FxSklZ(s@#`W&KU<xsCvGY&r*FF2AInp5IlOhkd<)1#cys+mXxmlly_h5P&q-)ru
z^g;dNPi(q>yH~&NeOVPpjhq;6i!YPCZ;;N@y$P&BWSJQTgB9Z{$NC1h>Owt<G??}h
zDPw(q0<5Hs%toWlt@n1kB@qvqPh#X_|9*aujz>x6pnEjw=~UUX0?i5Q5x;1}qoDH;
z9;M8fQ`4L}5?ih2Y=qHzCQLARkezvezRS(%K<zPvCMoQo8u?z`t3oL$q-AdntF@~?
z^b#6WEL5olUnkG%%yR(w!a=}RLIr+8KF$+=D%NWi2TT!N5f*vvKg`VzQ0eGvy-xJ=
z2Iq|IhI#zTb}2v6pbJ&wJ3(W3c{$Za9-6QZcNB=2w!Dmmsgcj|zbprTe(JZn7%8J;
zK*K#`_T{O!%v$ZlG~Z)4Vn}H^C2dKw$j;UMcWW-0Y*rNM=LKG31NGH$a$aibba^I!
zmg=ug9bbJt{{(07P4e_59#347B3nu;R0s>0m2D!^#k2<Y7L3Z|z7bipb1aa{0croQ
zkfz3O$5J-9DDvxXmS(PFuo6I7GLT$(`5A?ebyynHY}+-PVILRRN4J55%&y!22=)q`
zX-x8pzS;>Qhwmv6IxpEZ_0+J<Vj-h{gh%g|A>_t1ki*G@BQ_>FpmhW|#NxLV(Gl@u
z+BBLIt&ie^gpetJEa}hUzp?jEH|W@&>KfpU$2tnkHLXP;yF*Nq?Eu;ReX1Q!d~iib
zQM3WnK$jH*_JkHSHoW5PEBE{<#OlfkuUyRne5ySsDjBrFLL0dSgCNj|<Z-}%G>7vh
z^2LVIZ{RWA(|iSBJ-kQr|3eb$#Wgs(H(FRaOpzfKd1@(iqI&oyivk&-yY%&?yslKr
zVC7TI1}>Eh>U4BqiL+UJ67J4UWAp*vXv$&9B9p^#{)=MfHG}M~@0cg;mVD24txu`c
z@~_R&aouR6k041BG24a2EnM_}(3ddSBB$-8a#wv}p;dTweK-P}&hn-Uc5;&Jv`jR?
zB_&LI(U7pzNj1R!wc59P9*w$Hfj|d0Uo&~V;j*`BXKPE|3wcIUfT?%&{tRwP7mz3D
z^`eqhR$Gf$O>>PZw$Q4ld|UXIuvvy71dHD%_4POK=-5(#@gsby2v*-c<VL{1jI=64
z;C7_9eME!Gi9pd{ae#&tj2a=}0A+OQ-bao=QUC$05a^cz0O~i&6tTo-`vL#}000D8
ETK#aLN&o-=

delta 1866
zcmV-Q2etUn5YP~i903op9RvY?QN3w3Y}o==E&b++_@?{BU2Xkd>b<j7GrhhF?GP+M
zs}0Ki`&|C|+LI+}eBGQrXS5ShIbPtmL<JAdW)<HJp!LEqE%xnKiZ1rS$jPLr%4Sgx
zo<kVh`)R+Bx83Q)>2HN_oQZ!O;h-4S%l90VaR&#NAuTZ)p?j^{%7c!7y7kHNpEAX?
zAJ&Weq}Pm82&)1--)}QZo?Ay=FQ}1)SiM4I`at9gP<a}R9y#*QTkn@SsuMdA`5B`%
zo>%(8EU)vHYFV>&vP+)YB|LrN6gLc*u&knjoo=LD_u26TCKKlnu7zidH=C@mssy?G
zy8!W!(fb@8|4~~T<Hu=#U(u$3#*x95wuYSEK-dnQESLRD!4^XZxdY_OD5H59?0|ER
zk?d+|6PYWEBO;H-TkzTlSA8Shx*Sm^?+wssy%^-o(=-o=%-87)pBh}jV2^q`SFML~
zvy$;A4JuP|`@QF(Weg<Xq*sN)%MIrW0z{Ry?L2He5jeId{jIWpCuDp1rW8!BabY$n
z5+OajZgaZT>Sv-)R!Fvj^>QH4@@G*~eT9ZeEAf@K0U+e~D1&$iDday;<rYwgQn;_s
z1<I`1p$CX>Sz@{gvP|I05{#mCIT01By=xwJ%}6xuNRe%H8!cF~&m^M`+-M3fei5x4
z1lH^)!>s$tE#ZxSD3;ps=ze`GC?jM15WWeU0y{9l;q1aLveD;o)9rt*KKJchCpoyH
z2-tJSEPDWY)BqMWPT4eUOhULH>uFn+WI;`N<>bQX_#IT2i{@4_xmg_)D`W1hS!VbO
zf~JT#t)J=EI_BT(K69vAS)R#e15oO%UeX&tUfPlg2;ZlF`Hk1fy`eO8E)3RSG584<
ziABjcU>PpGnCQ)ou6}Fnr*94BQUa-E{8FK?t6NyGvSRlVyOyAV2S78BL%Rb{YDw7<
z8iZWyk^etet%NaFk`Vw<Cb7ClP`N35)YcsGbBmfH;r&XrkV1y0`#?gpUU!)Jt+O%n
z(8Dp0_*-^=_Tz9{D_$-bjWB!znW#EWK{M(HOBDJ+!Q?@y7&N6M^wQDlU6nbx)=;MB
zcuItH!?4)acWESw(Y)n2L$T=;v)<FQYIl~z<uX7wWG)A#S>!9zh0_lcUQH@|BMaaT
z*s5g>mUdtfHF`7~YJjyS=zWGn4Eq`Ak;CY8AyG_!1>3y~KUQ}oT?v$t5Z6GL9*YN5
zJ;j{#ZK{KQs8^w4mFu24ce0^TwZ2jAIo|s(a^~x~w@-=sYA4p~0s5xAUOTQE0*fDL
z?)SQDS1xGA5en?2x6+0Hss64j0lRkJ2dP)*&vml&x7Ci%I>xj6e#KFjGQ$1qI{D;?
zFwaeYzSuk}QdiT<Yq6Ed6Df$WvALl8w=2$kLSANe*VwXM6Zn1?Qpk)Wm#<L1Z}vEi
zoAU~UtNN4^*i)xhOaxBlT%fIIjbTOkFYywY$?q}RG5Y$Bq~*@~tjYxICLdU!3ZwmE
zm6|~2L%>8Zt{KEd!(dNVjVr-erD=(ku@sVjOp45hp|)@)7r=%KcpAtHtu&d`Iq4GU
zVMZ`l#YC=eDGVb+DExJ`$P%4OqqIgVM)bm15q8zs@qfvX_2rIXjzuF@MlvtvHg!%7
z)h<M|qUBl66Q2$9^S!F~ei3=TW$r;%@h1G(>kC|}u<*c;dLIB!Oz^QBT!bf|oFFxS
zh&J<q5gfrtD;x=+YP9bM=gfMWJ?R$wp7iNAs&|LJMq&*csS;8*(YlTshns&T?T+al
zv4am94fpvOd^+OSk#R;VN-1uSky_!))Q}g=#D@o)CiN)TgE!Op4K<B?Vn8oMtFZuv
zUB=x2@A-;^JCgy{JHX%5NG9UHNFyVELYo;{T?(AkpZ0^BKr`*=u7{b$U}MFQHfG{5
zT#SFXlxG&}7w_iMmyl!u;zjvb=x0d*M$0)92Ip?tV^BlHJQ7)CkQ%%FO1ZK7rI@h7
zfN>3=&Mf$aNoI_>w6~xw_|e7C_w)fb9vm|fC>zxt@&zyY;*z>H#;A?{?wF~6?KzGR
ztY5I>Ns50`h8jQI2VQ6JG_8}^$+q1@yaoaCQe?XC?t|Hf9o*O(d^R7lRj5-RX1rp)
zPvo$pi+k5Np|7YbyU-x(A;2(wuz^0JxFbp-f|H5G=C33zq$KK?fW&!(g9+fKebx`J
z=WLpvB|&*}(Bk^FJ(vtmwoB!IUp3zx;-?~?;p2?fcC4w|Tk@J;8rlBv1ci_H(d5(q
zB`e~R-wAm1zVmo!N8AN@*@^wB_GBj7h;u3{Nc{<*>?S*%!mQcMUm)qO0LRUHyls8w
zA9d&<-yf`*gaaj>Ka`S75J#$_r3)IYO?b62IQM$o4u}FKQ6QubU0*Cc;a~rI(?P;&
z!$uedD8|7Wa8{%ioTuT+g0I~G03fZ4dD#LPSpWg65a^cz08$6f39-ay`vL#}000D8
ET2l<BlK=n!

diff --git a/content/http..mathhub.info/FrameIT/frameworld/$Triangle$Problem_$Angle$At$A.omdoc.xz b/content/http..mathhub.info/FrameIT/frameworld/$Triangle$Problem_$Angle$At$A.omdoc.xz
index d1917f1f9fcc5e33e192b1c2503397b521c71c74..c4d82a42ebe37a7ffcbc74cfd5c94a71decd26c3 100644
GIT binary patch
delta 1043
zcmV+u1nm3l3G4}w=zkfyuIye59~J(R3BqC>St6}bV$Fq_z*9o9%DJ6qkzpOQi-}FY
zQvclI%5vf}pbh|kD@ajFLt9Yaf`Hi-%wYhnA5tP#y57e_hZ_HBADDllFykgJfzJwL
zAu+6yQ1Bk9>8X+*_=*wN6=71J=?M1FhRf~<-p7oFaIxys4}aVSc~E?q{bH;!UOLmi
z?N>we(aZ)|amO7cCRm*H523`%<9;#Q>$xgx!@py)R|+2$v9Xxd(jX{D2q!o(rMONt
z0D!uS=~?^8{u)4Sm#u9zSf`ZC^}(b_h;NC(&n7~rg6b-fdz){;q{1~i@LPVEnhZ>y
zqgdHOgD#XySbzEmuA&YBFl!8XsE0<T&CiJ(M4-huPgNS>1diz=VW{(QCk_4j<U(&S
z-=eD!#!(Gc%kZt<sU;63n|Uin{D;9x{jmx%jG1PXqJDuMXzv@b_>p4W6Gu7wL0szX
zR34`vR#(_N-tx&3-SdoQ7?X6ILTav?8uU9_SPx3t34ck!NxkP=9n&>_^?7HVV`0WU
ze)nZC(h%A-plFgm8lbat1)K=7cod7rD)1kMX4AY>+_681D-?|u27D(^#=_uahKp=R
zow0<IMmpbS`@me<8lHcRBY1wK+R$%;*9K6Xa0m%+t&)tz=+Lr4#xCzr80fPQ@l*f-
za6wE60)Ha-2$mNqiXZDV&-$HYmYXT@g+T0Cgugfr4ib~Z(Fo$hVno{HXeW-a7Jg-M
zq&Lat5U=0aCcAC17~Fjt#Gmg~Mi%jN5rFqQJ(oUNBFJr!;C>Ozw*zv?2)1yzvWiS(
z7~;(zWX3v@x-q_pdAB4M3nta<4lb~kWWD35Fn=?FWX)!ryL{w`l0Gaq4CE$Y98iC9
zDCGHCx|L@+&M+6W9Th4K`@U)@cX0dJhA2ze*w$0A*yz2ePh8(e1kmQl-Q|s4`n0@1
z>0ge^yq})DJErwhOX9U=3?*IWQ474c7T{6EvizqR1uf_`3-q3eF1A&+mYa!oksonM
zKYwF`V!<F-KbHmxgYUP7+c1&ysWY0O%W#u!wOQ<%YDWZi|6k?;?^Tn82BCSKRJ#ni
z9{(E5*(%Z^c%$M2P{h|i|9n_Dcm5!IL{72n=g<kD&SIwkKEtk6#tO!;cc)Nuv496Y
z2^!C)5ZV;&1dd;ithRO%md64qPMO+KD}OLT==mEwkz7Zgt>tN;1uktYnHW7(Q=;Br
zq{JuM1>k}-o8zwlaU~+azr%yK8jm+=Eo3YOn>c&Z>Vktvd7VFj8^?5ntbmL^k``G3
zj5kNj$0MYqca22dZ}k;8?=n*E2g@zYQE&hN0H(BjfOJ6ZegFZ+3Atzh0FBT}FATB7
NXZr#G00004Sy~r+_b&hd

delta 1043
zcmV+u1nm3l3G4}w=zkxO1xUIqb|u7%JJZ*^hkIc%8cHiM_~go($V-U)T~hbFgKoNb
z`iDu5aB=yo4>KJ;RMb)pIC+qew;J~CrW3*_<+qi+OWn&WhLv#eH=meXi0`7|vieEy
zE_Mltf7A=EzMg#kx{6G0j-dyL#tuEm@a(~*k)&<#msCf(mVb-RZ6dC^%(RG=iSScf
z=~|TxX_$C`+AaCv=`tb@0^IFse-rBu`N3@NhR2tIPy7d<u2El0nNj0_f*wVwD435M
zcU{Ai8iT8v+iqJ6VesAcJscF9>1<4gZ|)IP>Ol-9DcAuep+C&t$>U`cA8XR-V#ku1
zyD;2p>li~}D}UiU^Wt_1UV{ve8<<i^;-Xg`nr#!O)tH4+L(}44gZ=|sO71$SUWpB{
z26+|oxqECx4TcGqq#`P4lfiMrk1O^YNJm{TB9!6Qp}w|lc0<bdn1jR6dXQwWn~V|`
zvaiie&;Wtzm_z=f;g3tW0s}(C78}6z244POY6Hop4u2)}`6{3>B2A?!p;|5sJ&B}M
z4I~P}SFeb`X;%u(VR~HwC;U*Z$T}E<K_onhX&7ni$Myh(pol=P7^Bozbwf);v7rqC
z5?>kx1i>badECEX-AvPu*lH;CcM|##JyEr@^DuRmyxWy2PNq@{^-*Lv1f(4vdoQW5
zqc~}n`hSGeH<bWiZkVL4DtvLNZ@r^+Y71Gj6HxKYS_v=e+Y!m1@2Y#My={CW8VL+9
zJ;Sz*du_v8^bL%1&#(K`E~)w4h$QnNM%0~swS+=}yq*}(SIMiN--gb6ZAPsrF~vw#
zN_a?rPGn@mUh#_b2#MlfV9zLZmYDrQcpSqDw|_#{%Eql(72ozB#?}D{D&-Y_H`?Zp
z=3GpIp81)ImUMtgHQsWDiIuzgRU^-~QV`U^;(kvc)^kf+D_$p!kXL!t?HA&eY)$c~
z@5sEQU*L@|DIbn)G)v05NzLXUv69hxHii-6loYdi6A&Ac4ZzXYOO73xNK6sl^-0^Z
z|9__DIzFH0aHirnWa3bX51rMpGfDZG7-ZK~-PmYR_R`mFbZ4URvAZVJQg&+4zbw4J
z%=nf`Y9eri^u{h&ts_t$FafW4UVw;v6RP-n&bo{iz$cG#H%Wqh+ImZpht}GeCBSGP
zD1f#RXU$JqHEhGj$tkC^vB1)LH+pr*Dt~CEVjg?CKJ3Mpq%-#p%ndKGhH?9TJu`;>
zhftjukmqws;+wyJ68ddxKY0+zdGOg`5QJ8JBOo1vPKW<7(CbbL&a9RW&ji)DIwI6A
zFT@YNa}u-UQ@PUf9G0az6)qn{c3EQ(7~%i`0DLS<$O+#ff&c-=3Atzh0FBT}FATB7
NXZr#G00004Sy~{&{~rJV

diff --git a/content/http..mathhub.info/FrameIT/frameworld/$Triangle$Problem_$Angle$At$B.omdoc.xz b/content/http..mathhub.info/FrameIT/frameworld/$Triangle$Problem_$Angle$At$B.omdoc.xz
index dc39d7b70440bac5dbcd779c56dad714b7e75851..f7372b2efc222ad5cafc630460f565e28b5dd09d 100644
GIT binary patch
delta 901
zcmV;01A6@22;2ye903}U9n61a)p-;ZEH!t-Shh(MPtVgsL~ngv81xlmDWQ1rAcwIc
z$G1M@wTZ5l!MXOo4VTUq>+j^tqj0Ir+Ej>IaSFZsp{@Us5d$zmc-E%wDg(9jx{6Mk
zwT_Bp>K+O9thR>BDk&_jYBaWXuROaj1|`)x%&3Tf=pru2JLXEW`<{Qn(vJ@*w!V7c
znu9WL%Ld4T8?#ksf_=)Xb-j~x26t{rL`rIfd~P|8Xz`ai5+cl_S3uE<1zve#c`R0m
zzDEgseG=;KvO*A_KO1JPoVz)8<k4V|HdIE_OKe`VVU%50ZlNJ)Iz>o_xfp}Zwl6N-
zFdfs3CgtUMt?!r2A}xQQz>5Z!lcO%Y?GcqEiaR^o0l1Zev_=@JZdAF1C1c+rSR9e{
zFL@dIKM{hJ#Yj0QZQm|wp;&hKWI-M`)*q~R^-wT+6^3n=#(6w9<004PySZm^GG}tQ
zNlC!ll|ZqhMK)_O$I?cE|8S#k?s!7}>spbTB&BrkMMy*HkD7n(f~N-aqhak2SxO5i
zFgFvZ{#ghDS!)&mBvIW(iw%%w1b30zQtECBP5GgHXr02P8>kpyW!tXnY4#>Kmkr&>
zWYkuwnPzGSkfJ+*<e?6m@6)juEe4G8DR=*)wY(Gaz|JEL?5akRlgR{MQd?y6sl2AM
z{w^!4jhj%Xkl}yR1JepVJARr^w{D=NrjiQ6MWZQSx1A4zvSg+=x3iy(^$XJ;8KZjQ
zQ?n|><%T~})t~03<ni;}jj^p6qNhZ4;v3HKWm|yX6zElfxZl>_%*so-(Bd$upsm-5
zV$0csD$+hcbv_SdNo$zk)n&MdNlIW#d1;iw)k%)8*u;OxRYcFn-!1nQ&Hk^E;64cF
zQ?{?bn2aQdriF(1$Cih~YZ9p`F!(|x=CthF?yCcekZ+{rreV6w)DZg{n8Y*0;D{)G
zo9RF`PLE!Lt)5CqQ1z1}4_g6T+fCVpTdC_BO_s)M&+iUM@|Qr8X$j8}#3~Gg>(ApZ
z@bh+r#|(KCPJA;`Ej1@JeqrJK4qV_xj_KN?{BeZmTiEvp0S!I6_6o3EhrZrE#Kk(_
zA(DcCL@TbQkru_E-wUZ<5+C|ys49<#dD9A^yQOCQj5U`X_>J~$5C8xGJH~W%g&x{X
b00FiL@<;#xAZ<`>vBYQl0ssI200dcDt8%`x

delta 901
zcmV;01A6@22;2ye9044W9n61f=HCmmQ;qBkU0=!-YVEv-6xizqjFHY$w;e|${jyer
z-06845^I8icTg7{@2rGCp!)H{J@83D1GxPD)3$?FsDCx*!tOT@_^TQ`*VLxcB1d!A
zAQZcrU`VmI1yDaYLoBJC-C^?1khTwK4!9d@<Zwo4BDy01HLw^R>ivJRZSd{m<QS#^
zA42)7G0X92K%4zvckC<!%)52#z}Tb5X@v=zQp3^3NmVN<p9lY?W^_WQp1j4fAxN``
z{@C1XlzGC%gQKujtkPh%+(QH{NJ+lTyXDR8e+&KJX<wW6nRtRU-2pr{tm#8h{=neB
zK&5%UlfKxc@9l{U+6sS8QVJXAgd*Z{Cnwf#NU$*q6wOm^b$7os6yVe{GW}I0;X&0l
z^%Ku?B$HL^o1i8iuUI9HddQncq>SlAbPyN_yF&54w>$sTRv-N`Cd5g(nx`b%{fEz%
zxK{!76n2zAQL;ps$R&+MgF$ub+b?T4QciWaGw_v5&{(gMG0%U?;^??vV4yD-R2Fg=
zv-SvrV89UW^Y+NDqtr2vtl~^XDi=EGw35pDvOV1rCrJs@w-;jHI(+Kp>_JY9s%|wp
zvLrJ}^|OR_-mE4~%*aUZ$837hgv6B6#Zdrzj>^0AG)gzt7S7&1Lnz_LsG7#-%QX!}
z_38PgBw{A4UGaYzQH9?lCiML_l*Rm^Gt`DQQuCE`#iVOXIPo##Rt(hB93}h*7Wc-N
zZT70Tc#7@(D2i^{v_DTmlgTY)DL41x)m<?@*xdWvOc67Osb4kZ@UC;-!{QKXx2+sb
zBbp!B0eBUajbA&8q59IF+W*eeX8<SA+gKbsuFnMq`Z<4Etk)b8cjg;1$yHe%8s}_g
z5Fc;+b5&pmma?;%Kv(DsX^Sy&JyFAZ^6e-L8H-=?fC9C!ukff>LD(@3!l1>c^;lyz
z;ZSMCa+`}Vc-3M|fCgOt+NWHS`wxNs0;QL@Pp(k(9W4NZc`&%WMdC_D{EMx+CJqG5
z?1HIXCX0C}K_y4@^<${=(x?gXTIv;{rX|RZs$h=2I27e1!M7qLV5AulUUxin&z}Aw
z2W2^55kY(8$nd6g_1&+>wPoh}f1H$T#lZi3<0H~}kjXETNj+86pSb`4lK2$Dr1a#F
b00FoN@<;#xPz+jEvBYQl0ssI200dcDh)&6Q

diff --git a/content/http..mathhub.info/FrameIT/frameworld/$Triangle$Problem_$Right$Angle$At$C.omdoc.xz b/content/http..mathhub.info/FrameIT/frameworld/$Triangle$Problem_$Right$Angle$At$C.omdoc.xz
index 75610bf6df2298876667f70f2b5fcc1f11f70a89..e47600f8dd1bc6ccd69e4ec3bc2391e2599c7367 100644
GIT binary patch
delta 1001
zcmV<F0~Y+q3CIbM8UvyPh>;!Fe=RbyljonsZ6PhEe8KIhHaDmu4)H^dzV1Hwe<+wF
zF;FKmTV=o&K>M!7RS7Q%*fSWazAIMk+Rtl!9w$-GW752z$g?6O-I2kg&qvSn8w@Y+
zS_xl@;+OH`#fm*zP1&xGnoq5CHS|}@7>@}powh7sQ@;u&V=(32IKXwFe^`OsYju+u
z!9EboB&$33grhm|7)(bHR<ZbQyOK*yOo)%`InSw)wh6p&_pGdwr_%;~P-5!STsZ_e
z%6bXJ7*)jwpd9bEpmM3MNev$NJhFqzK|E`M3jrXiTTRUdh7a1-MBDwM+_j(EiX;ap
z?RyE*q8f~`Xhol2#qQS-e+f=|I36ui96!UMxBf1#`obXC$}Gh2-_&6Cq@-J%f1%YY
zg_m?L$=eS%89H$&`L}fEutM+sEERfDV6`RU_`h*|qk63{MhWt1<HmU-Dx@X3Y~`$B
z+HctWZd3Pt!dl^prJq;l9pFCDt|0x#C-1*}V1L?IkHJ$+^ExtPe|%aL3*iTx%h1~h
zw!MDQJD^$qbmxK5?EODm{i^}EYl|`+%qGM~sOZLLfnm}5J?;&{3Scdl#=^Q*q4x@i
z>eq(Q7H}7mH0Yf35{{m!h}Zqn9ZU^<Vk;tocnc*kD@Mr35$5ULncdzt%3<dv1>@&w
zvHAVK^H>}#9y6LMe<{lVeoHg|+3Edl>{g#wMl4hJ{bScR*+bZD5znvm+S34Gjmck&
z`=o)ppF2PH`5fk5$01w7F)HRep*yScte@3^qcDLUp2R2^WqfQdiXK;hIEjO1Fye(`
zO1qLNpf3KAArQ0~Ag)I){q~VK|4$_ZQJg26Tn64DuY&tBf7f;1FQ<1Q<d4$S3wa|!
z)nf$dbQD&~CgEA0I;|;#qKdT!nBxWnD^Gm&deuHdBsU>Q3I1Z9qg@7!m;I+^=|9`Z
zrowmQ*tF5X-kBy7!m)>^Kt#u!StonCAIXUK(+gAJNp`6cy>l2Vbs-+>zjMZn*a~@1
zU8uC2(5amte=WBu7O{VCt7AVceq3TwKL6pZv<=H9wc~WPk+E)F=ZGVIS8~4_!Lb=Y
zc&!n?lN4Z*#>i*qYShdU0ntUWfaJ;Jx;AI<0Pao%uR{3s*P3ap=LD>wObOj|=U{!u
z;tE$*D2da{0#+A;MymRHhrnjJzSB2~6B2EPd)$GpTS;2B#)|g(71wMGzH*DzU}4O^
zj1dmv2z6nzEUF<%1@{|&(PSF-+VsV#sVrM;zZNiy8eLWKM2Wxv#CKoWicTVs00E>4
Xqk8}V4%D(svBYQl0ssI200dcDO1JYR

delta 1001
zcmV<F0~Y+q3CIbM8UvgJhmjrEe=L&*oiQ1%5@z6Z7g7UXR9_I|OkE%%lqmO>hQ?B(
z(Wq21zcW3|<Iv>%H4DyvvRybKdGcbh%4h*GC@=t{2Onw~4<^PVdI{1)3+=-cch~~+
z>qml=9b>utg$O^qpmp$-q;oUHMJUi&02^>S=s$yf;W=E`5^LRD>^DZNe{J8w0R;=g
zWaCcy09XRFh5fp%h|&k8vPY%$@=<BGqlbX*!YVsp`PbnhE{aSU@`HLxe3g~4qORf6
z&NtFfEK>Jd#-)M19me-8!CBNA{~@m!2v?(^LE;aiRrVsKN^v5Bj&CV8NsuO>*h4-n
zxvGk$O>ACg-Cf?afwQJEe@Lua-ak@pcD0kTM84U{z`g03qp@G@DL|3JD-80+NPb44
z@95_neZp&^`<ysnik%}c_3%<x6Cm9xF~lwek9$)MM((=U!`cPZBtz;oDY10zQr7^7
z9DZymB?+EF8X$0Z?7Mghh}&bLFlP1UuuKF$Du!6avTUnEoxu`2e`)9xg{sGZ{J_&8
zW;TsoXo@7}9rCqR@mr84AeL+*GkHZ(v`#8x*u!X&_NW!F$pk}W|4hb)UHx;I`2Ztk
zoft(nm+5wIW7nxig21E5Th8FVdiotOFxrW{Nmu;K08!chdU_>IpyR$KdvZ@-d1IG>
zxdu;uwULtK-X=&6e`QO3TDLq5J~T}WDt2aNE?v0(1l!AhBzcxz{aMvUPRmGcu3h*X
z2}C=ax-4L_u-;~mz@XNlffm{anmai0Oad9(k~t8N%-d%9CJ|H{72x;tUe*4sR(2Ic
z=bem2E9sdqI73>qWQTBI&dPWhYF27?C3)zbwIdMhGE@15f76Tr6;GwuAp5TEh#g&#
z`@%d8DL;G)k86^Qv7Kd9l#Wazdd>l@V8J~o+yzGrKs??$ZH=8e@-zN_5s&ji2!G4N
zrA-T1;2?8X5leT<T1y2Y29zWn-HcdsMrL5iS*cYSI6gUixL83#skx#ify;gNvX~fU
zZ$wxKgYVT)f2lN~$u#T>t!}CQ={vz)jxeyb{NjzTUIV;cS$8uVuy@_$jFTPw2Ls7$
zdy0DO_<KTk&^~Oqy?Q8t5YEOwd)s)tB>@hKRE~iZn5)t8Z=scFK;U(>gtAr%9_M{;
z$Zj=M@k!fjB13x*`wh~6%(7MaLeVAdM@~<Fq4w!ATaPh2?T2yK*B%eiR>lIhq8*FY
zEYVW`Z-uHw6GrqBw3tSA+V>sUds?vjv^5ONX{1<VT1XN{!2kdNZw{Hn=vM)400E;3
XoqGTPBx^%PvBYQl0ssI200dcDIQZH{

diff --git a/content/http..mathhub.info/LoViVo/gearbox/gearbox.omdoc.xz b/content/http..mathhub.info/LoViVo/gearbox/gearbox.omdoc.xz
index fa23cd6dec26d5f8ea29c1c0e601482e55e6525f..7ee0b0a12463cf21f49a4d914c45cbe1c976d6b1 100644
GIT binary patch
delta 1173
zcmV;G1Zw-76Oa>-8Ut1dP_Z5M1b_C@z&z2%yDs8Tqg@k#s$QXlulYT5-D=b0Q$kSU
zFP|tJyiU1bnwwmW2~ii+($?{97$%QQnKgU6&>ciihW74dy}kgCrJ}k06r{IyuSHv5
zeoHE6Qud{KlNV>TjYkKoE}WbJ5kTXDvutgcuUKPPHcj^1Xj@%9J5F}Xn}4v8!D)Oc
z+U;j}aTN3P!GXDdamE^GC6}gI2D`c=CnSuhRBWlF&@BCHYR?8J^wD(_7N&-+nPilW
zFzhM?wWsuqD-RgINF&7al%%Q?XMho-qoT5IJtPz`Y0@LsCcH_JBthmCbHnUZO~O*q
zHu6z@X$yR8K1zRPB?B`Kw13GgmpBRnJ{t>W1VPbC1|{^$VG}8VNBIT=W$!_r1|`Od
z%z6#Z@Cgm1*vrhv%A**y*5~hhjCF(12L}z3sa9386=-nHkIxAtM=*p*=D@!&FLg1>
zY0`7CRcAl$&I^X`)i+(EUa!2sJ0wL#9MUujNu_<F#wz;B^ZFUaHGkujf!eup1}4+0
z%C<6nSor{*C2^0RQ$|XMY3aq_;JrBCN_)w>s|Z2<VuKMzvOVBIQ*wyZcoXh^New8q
z`N?8t7|5;vOX@$wGw~goXS6D@tZNa%Gx2yQ$%KzVBqBx;(X-n@pKwR904uwUbA9eB
zYJA)Aov)bLW;gL=tbZQofK~P#LGPO}Qj!4Mm3iQMrDLDet>G0+e=tkgoc~sfCX7Ij
z*8bPk#eDz#X3HHKEJ;K6qR4J3!$3n++HJk{HFMB!OW@-Ofy#@zC~4SOTVWDlB;G0*
z+p2s+?kIe)n=LBVUQr~k9$&U8K|?xqcHWo3xs-y201UEF!+(~0g&MMIx?xH{y1+e{
zkKXZ6d1?x!l9LlU^hw{6x`1H8vL~;9Y6vVG8{e)TF-Z>1$fK9)-rSH#HKy)T@79Fi
zes<Cv4XP%lmotlW&F}?hXte%ZQ@;!7x8}pd=UkA_aF@oDI8ogciVbQTz8B@et@>x=
zDXgj+xLU;@U4J+%X-qp-9A&LEd^PJAsy)4nT+i9m+)D9sl4Z+Wy#cP<?PtVKo!#>!
zuD1F}RbE5hTMVEY45s*#`X7=%k?^4+W+Q^qGzozH`Q`Hg_;v7~cOIiVdLCq*F0ihr
z>>=pvSSQYO-{P<lXWpVve#|CY%}P2xvx_N1U&NTpCVzCy=fdFE*PSPho>BvP`REx}
z*>((`r|B69&Abca9eW_~n`eu2qu8eo7yn&hRdal~OJpLlga-e6z`VvP-T9<gNrk~s
zCah0F{CTcdy7(t5-%RxOVl3h8u;S4(0(6{Z#(G3hgh&cyZW`G*@Zn0PiDne5L<V!+
zwRA7o3V)xmW4Lnwaq=`)in5<&L3~294eN{A0su~<f!<=oBGk7iYV76f9jgcMgA;H+
zY$mPYu{-l~uK%1P7w?<k%(0E}9s`126vQZXf0HHw;aXagd2qO-?tr}urv55ovV12j
n5}E*f-${z7JcZr>0qhdj+5!NAm{_r~#Ao{g00sa600dcDS~WsY

delta 1185
zcmV;S1YY})6Py!}8Ur;6T(KSY1b^)+k`>!Wnq1DcyvS=4q+Pxd?tWJC?TbqwWC}_?
z%spxJE{TQU{`W<j$rTYN1^GoV8C8V=E^SjbiE0sLp~SAlpafBQ6SJwd(9z6Y@Xi3B
z=}ShFr1RW5!H73v@Gh;=`yc!GjL)av@w*>JH1?QD43usuwPZ&{;5E{e+kcI&iOmte
zbF+_dyBYP21SiWiz-B!R>_kVzQ+(OfJq?TdttuKLobozZ0dlnNkqHCR@la6`p>Rwq
zGNV|PJ4Oi?w>?+kGMMrO{SOf|im38zd4B&=`jHTJlE8BDBdp(j88#0OWJQ`NlINQb
znsDx;{rvDCxjEy+{=g;t{C|KO?GgGHFt#ILKnu(X==F}M>+G<ATH~b6&O=MZd9|W(
zV@+KQjt1MDumXG#iDpWQJ+^KPsV7Jn1j)+)zOIm3_$xC$5;>e8N$&>CVzzvwHjzx(
zQ4E`nD2D!15n&>(yXRY%=u4?HIdY!ZczP?&a7n16QX^;7!js1_gMSlwH-FtL1g;ZZ
z78#pty(slM(EyZfwnZWHSNF!Bw8VJ8d{7$@i+`crwKC+bDxAC}gF1jvLn>&?aaK8Z
z;BE__W-Q|~<&a(1rl#)o29QIdic-nQWp*bQ2=>03gJMI~6xg)g`J(+H-GHK|%Pmae
z5n71{<voq)opHGtu76B&NgHE!Y)R*Oj99)!H@c91^FM7@NA8fx0uH)IEOuO=rao|D
z$JkH#PlwRm$)VJ6WEf%|AerrQq+G3Ge53Z&wLFKdcEM|hW;D|y6reS7eA~I`R~6Ea
zN>QWeyji7G{wJ##e(@nwfq@zjy&oB|L#7i#Bp}0Ebgno;nt#u6h_dUm#v;2Fcw($1
z(55^8(}o}H&KZ1;IuIaBu7~`iB4yI&`KkZ+cNbsfci&_}`=j;~!&5ZWv9eDZ;sjw7
z7UzSsW<FIf?&2AoE3TFn^dfp)&oeRO3|wZ-x>uc8_8+wxKA@4GJITAO=|$2I!a=?(
zL3?<yj^P~FmVezEg`?!stg^h(&6}^9Nk*C*Mh$!B#dQkcDtt&LMN__~?<lBKs-b1H
zwBI1d>-zF*4fty8?iiu*{LDc6VWe&m){Szrb8Cjw?|X0KNhl4H9T6TuI{K)Qp%NgE
zejVj4qP)#~Xibn5Tnpd(fY~0LZw$aOiZNv#D8DSH`hV2ke5Ga=6aC`@+%zj-Yej<+
z<AT?wz`5<u&Aw8G5APCngZkjV$$+u3r+pT&BGl+!UlN;&Gvmj|9!O^U51nMa)@q_w
ziN=dj*Bz*e^r)3OKfSHPeCJ&`yj`mfUF-&<b9pl5XhpK({4#|z)HzDjj!a8d9O4j+
z>R^(>A%C7+(?OWW)X!X;gyn>k8+A9W@xXIjQF@%7LAyLJn;SU=JHvkrfT5M~4Rk_|
z-Vof;6U7_~e??H=_9gH3ja5zf8BsJHVG1Hmam*B-J`7yzkGgFOU%vQz2~&=Lsoe<{
z#?#XO6VNPdZ@4YA+hhPe^=+Fs8_q@m0r(QO+7bc)X-I{tvBYQl0ssI200dcDgF8qX

diff --git a/errors/mmt-omdoc/Library/gearbox.mmt.err b/errors/mmt-omdoc/Library/gearbox.mmt.err
index 0d566ce..b9e4598 100644
--- a/errors/mmt-omdoc/Library/gearbox.mmt.err
+++ b/errors/mmt-omdoc/Library/gearbox.mmt.err
@@ -10,10 +10,10 @@
     <element>info.kwarc.mmt.api.frontend.Logger.logGroup$(Log.scala:31)</element>
     <element>info.kwarc.mmt.api.checking.RuleBasedChecker.logGroup(RuleBasedChecker.scala:17)</element>
     <element>info.kwarc.mmt.api.checking.RuleBasedChecker.apply(RuleBasedChecker.scala:95)</element>
-    <element>info.kwarc.mmt.api.checking.MMTStructureChecker.$anonfun$check$15(MMTStructureChecker.scala:374)</element>
-    <element>info.kwarc.mmt.api.checking.MMTStructureChecker.$anonfun$check$15$adapted(MMTStructureChecker.scala:350)</element>
+    <element>info.kwarc.mmt.api.checking.MMTStructureChecker.$anonfun$check$15(MMTStructureChecker.scala:377)</element>
+    <element>info.kwarc.mmt.api.checking.MMTStructureChecker.$anonfun$check$15$adapted(MMTStructureChecker.scala:353)</element>
     <element>scala.Option.foreach(Option.scala:407)</element>
-    <element>info.kwarc.mmt.api.checking.MMTStructureChecker.check(MMTStructureChecker.scala:350)</element>
+    <element>info.kwarc.mmt.api.checking.MMTStructureChecker.check(MMTStructureChecker.scala:353)</element>
     <element>info.kwarc.mmt.api.checking.MMTStructureChecker.applyElementBegin(MMTStructureChecker.scala:73)</element>
     <element>info.kwarc.mmt.api.checking.TwoStepInterpreter$$anon$1.onElement(Interpreter.scala:96)</element>
     <element>info.kwarc.mmt.api.parser.KeywordBasedParser.seCont(StructureParser.scala:131)</element>
@@ -39,7 +39,27 @@
     <element>info.kwarc.mmt.api.archives.Importer.buildFile(Index.scala:159)</element>
     <element>info.kwarc.mmt.api.archives.TraversingBuildTarget.runBuildTask(BuildTarget.scala:564)</element>
     <element>info.kwarc.mmt.api.archives.TraversingBuildTarget.runBuildTaskIfNeeded(BuildTarget.scala:470)</element>
-    <element>info.kwarc.mmt.api.archives.BuildQueue$$anon$1.run(BuildQueue.scala:263)</element>
+    <element>info.kwarc.mmt.api.archives.TrivialBuildManager.$anonfun$addTasks$1(BuildQueue.scala:123)</element>
+    <element>scala.collection.immutable.List.foreach(List.scala:392)</element>
+    <element>info.kwarc.mmt.api.archives.TrivialBuildManager.addTasks(BuildQueue.scala:122)</element>
+    <element>info.kwarc.mmt.api.archives.TraversingBuildTarget.build(BuildTarget.scala:389)</element>
+    <element>info.kwarc.mmt.api.archives.TraversingBuildTarget.build(BuildTarget.scala:383)</element>
+    <element>info.kwarc.mmt.api.archives.BuildTarget.apply(BuildTarget.scala:227)</element>
+    <element>info.kwarc.mmt.api.frontend.actions.ArchiveActionHandling.$anonfun$buildArchive$1(ArchiveAction.scala:119)</element>
+    <element>info.kwarc.mmt.api.frontend.actions.ArchiveActionHandling.$anonfun$buildArchive$1$adapted(ArchiveAction.scala:96)</element>
+    <element>scala.collection.immutable.List.foreach(List.scala:392)</element>
+    <element>info.kwarc.mmt.api.frontend.actions.ArchiveActionHandling.buildArchive(ArchiveAction.scala:96)</element>
+    <element>info.kwarc.mmt.api.frontend.actions.ArchiveActionHandling.buildArchive$(ArchiveAction.scala:95)</element>
+    <element>info.kwarc.mmt.api.frontend.Controller.buildArchive(Controller.scala:74)</element>
+    <element>info.kwarc.mmt.api.frontend.actions.ArchiveBuild.apply(ArchiveAction.scala:13)</element>
+    <element>info.kwarc.mmt.api.frontend.actions.ActionHandling.handle(ActionHandling.scala:48)</element>
+    <element>info.kwarc.mmt.api.frontend.actions.ActionHandling.handle$(ActionHandling.scala:37)</element>
+    <element>info.kwarc.mmt.api.frontend.Controller.handle(Controller.scala:74)</element>
+    <element>info.kwarc.mmt.api.frontend.actions.ActionHandling.handleLine(ActionHandling.scala:33)</element>
+    <element>info.kwarc.mmt.api.frontend.actions.ActionHandling.handleLine$(ActionHandling.scala:31)</element>
+    <element>info.kwarc.mmt.api.frontend.Controller.handleLine(Controller.scala:74)</element>
+    <element>info.kwarc.mmt.frameit.communication.server.playground.BuildFrameworld$.main(BuildFrameworld.scala:11)</element>
+    <element>info.kwarc.mmt.frameit.communication.server.playground.BuildFrameworld.main(BuildFrameworld.scala)</element>
   </stacktrace>
 </error>
 <error 
@@ -54,11 +74,11 @@ type="info.kwarc.mmt.api.checking.RuleBasedChecker$$anon$3" shortMsg="invalid un
     <element>info.kwarc.mmt.api.frontend.Logger.logGroup$(Log.scala:31)</element>
     <element>info.kwarc.mmt.api.checking.RuleBasedChecker.logGroup(RuleBasedChecker.scala:17)</element>
     <element>info.kwarc.mmt.api.checking.RuleBasedChecker.apply(RuleBasedChecker.scala:95)</element>
-    <element>info.kwarc.mmt.api.checking.MMTStructureChecker.checkInhabitable$1(MMTStructureChecker.scala:313)</element>
-    <element>info.kwarc.mmt.api.checking.MMTStructureChecker.$anonfun$check$13(MMTStructureChecker.scala:322)</element>
-    <element>info.kwarc.mmt.api.checking.MMTStructureChecker.$anonfun$check$13$adapted(MMTStructureChecker.scala:319)</element>
+    <element>info.kwarc.mmt.api.checking.MMTStructureChecker.checkInhabitable$1(MMTStructureChecker.scala:316)</element>
+    <element>info.kwarc.mmt.api.checking.MMTStructureChecker.$anonfun$check$13(MMTStructureChecker.scala:325)</element>
+    <element>info.kwarc.mmt.api.checking.MMTStructureChecker.$anonfun$check$13$adapted(MMTStructureChecker.scala:322)</element>
     <element>scala.Option.foreach(Option.scala:407)</element>
-    <element>info.kwarc.mmt.api.checking.MMTStructureChecker.check(MMTStructureChecker.scala:319)</element>
+    <element>info.kwarc.mmt.api.checking.MMTStructureChecker.check(MMTStructureChecker.scala:322)</element>
     <element>info.kwarc.mmt.api.checking.MMTStructureChecker.applyElementBegin(MMTStructureChecker.scala:73)</element>
     <element>info.kwarc.mmt.api.checking.TwoStepInterpreter$$anon$1.onElement(Interpreter.scala:96)</element>
     <element>info.kwarc.mmt.api.parser.KeywordBasedParser.seCont(StructureParser.scala:131)</element>
@@ -84,7 +104,27 @@ type="info.kwarc.mmt.api.checking.RuleBasedChecker$$anon$3" shortMsg="invalid un
     <element>info.kwarc.mmt.api.archives.Importer.buildFile(Index.scala:159)</element>
     <element>info.kwarc.mmt.api.archives.TraversingBuildTarget.runBuildTask(BuildTarget.scala:564)</element>
     <element>info.kwarc.mmt.api.archives.TraversingBuildTarget.runBuildTaskIfNeeded(BuildTarget.scala:470)</element>
-    <element>info.kwarc.mmt.api.archives.BuildQueue$$anon$1.run(BuildQueue.scala:263)</element>
+    <element>info.kwarc.mmt.api.archives.TrivialBuildManager.$anonfun$addTasks$1(BuildQueue.scala:123)</element>
+    <element>scala.collection.immutable.List.foreach(List.scala:392)</element>
+    <element>info.kwarc.mmt.api.archives.TrivialBuildManager.addTasks(BuildQueue.scala:122)</element>
+    <element>info.kwarc.mmt.api.archives.TraversingBuildTarget.build(BuildTarget.scala:389)</element>
+    <element>info.kwarc.mmt.api.archives.TraversingBuildTarget.build(BuildTarget.scala:383)</element>
+    <element>info.kwarc.mmt.api.archives.BuildTarget.apply(BuildTarget.scala:227)</element>
+    <element>info.kwarc.mmt.api.frontend.actions.ArchiveActionHandling.$anonfun$buildArchive$1(ArchiveAction.scala:119)</element>
+    <element>info.kwarc.mmt.api.frontend.actions.ArchiveActionHandling.$anonfun$buildArchive$1$adapted(ArchiveAction.scala:96)</element>
+    <element>scala.collection.immutable.List.foreach(List.scala:392)</element>
+    <element>info.kwarc.mmt.api.frontend.actions.ArchiveActionHandling.buildArchive(ArchiveAction.scala:96)</element>
+    <element>info.kwarc.mmt.api.frontend.actions.ArchiveActionHandling.buildArchive$(ArchiveAction.scala:95)</element>
+    <element>info.kwarc.mmt.api.frontend.Controller.buildArchive(Controller.scala:74)</element>
+    <element>info.kwarc.mmt.api.frontend.actions.ArchiveBuild.apply(ArchiveAction.scala:13)</element>
+    <element>info.kwarc.mmt.api.frontend.actions.ActionHandling.handle(ActionHandling.scala:48)</element>
+    <element>info.kwarc.mmt.api.frontend.actions.ActionHandling.handle$(ActionHandling.scala:37)</element>
+    <element>info.kwarc.mmt.api.frontend.Controller.handle(Controller.scala:74)</element>
+    <element>info.kwarc.mmt.api.frontend.actions.ActionHandling.handleLine(ActionHandling.scala:33)</element>
+    <element>info.kwarc.mmt.api.frontend.actions.ActionHandling.handleLine$(ActionHandling.scala:31)</element>
+    <element>info.kwarc.mmt.api.frontend.Controller.handleLine(Controller.scala:74)</element>
+    <element>info.kwarc.mmt.frameit.communication.server.playground.BuildFrameworld$.main(BuildFrameworld.scala:11)</element>
+    <element>info.kwarc.mmt.frameit.communication.server.playground.BuildFrameworld.main(BuildFrameworld.scala)</element>
   </stacktrace>
 </error>
 
@@ -100,11 +140,11 @@ type="info.kwarc.mmt.api.checking.RuleBasedChecker$$anon$3" shortMsg="invalid un
     <element>info.kwarc.mmt.api.frontend.Logger.logGroup$(Log.scala:31)</element>
     <element>info.kwarc.mmt.api.checking.RuleBasedChecker.logGroup(RuleBasedChecker.scala:17)</element>
     <element>info.kwarc.mmt.api.checking.RuleBasedChecker.apply(RuleBasedChecker.scala:95)</element>
-    <element>info.kwarc.mmt.api.checking.MMTStructureChecker.checkInhabitable$1(MMTStructureChecker.scala:313)</element>
-    <element>info.kwarc.mmt.api.checking.MMTStructureChecker.$anonfun$check$13(MMTStructureChecker.scala:322)</element>
-    <element>info.kwarc.mmt.api.checking.MMTStructureChecker.$anonfun$check$13$adapted(MMTStructureChecker.scala:319)</element>
+    <element>info.kwarc.mmt.api.checking.MMTStructureChecker.checkInhabitable$1(MMTStructureChecker.scala:316)</element>
+    <element>info.kwarc.mmt.api.checking.MMTStructureChecker.$anonfun$check$13(MMTStructureChecker.scala:325)</element>
+    <element>info.kwarc.mmt.api.checking.MMTStructureChecker.$anonfun$check$13$adapted(MMTStructureChecker.scala:322)</element>
     <element>scala.Option.foreach(Option.scala:407)</element>
-    <element>info.kwarc.mmt.api.checking.MMTStructureChecker.check(MMTStructureChecker.scala:319)</element>
+    <element>info.kwarc.mmt.api.checking.MMTStructureChecker.check(MMTStructureChecker.scala:322)</element>
     <element>info.kwarc.mmt.api.checking.MMTStructureChecker.applyElementBegin(MMTStructureChecker.scala:73)</element>
     <element>info.kwarc.mmt.api.checking.TwoStepInterpreter$$anon$1.onElement(Interpreter.scala:96)</element>
     <element>info.kwarc.mmt.api.parser.KeywordBasedParser.seCont(StructureParser.scala:131)</element>
@@ -130,7 +170,27 @@ type="info.kwarc.mmt.api.checking.RuleBasedChecker$$anon$3" shortMsg="invalid un
     <element>info.kwarc.mmt.api.archives.Importer.buildFile(Index.scala:159)</element>
     <element>info.kwarc.mmt.api.archives.TraversingBuildTarget.runBuildTask(BuildTarget.scala:564)</element>
     <element>info.kwarc.mmt.api.archives.TraversingBuildTarget.runBuildTaskIfNeeded(BuildTarget.scala:470)</element>
-    <element>info.kwarc.mmt.api.archives.BuildQueue$$anon$1.run(BuildQueue.scala:263)</element>
+    <element>info.kwarc.mmt.api.archives.TrivialBuildManager.$anonfun$addTasks$1(BuildQueue.scala:123)</element>
+    <element>scala.collection.immutable.List.foreach(List.scala:392)</element>
+    <element>info.kwarc.mmt.api.archives.TrivialBuildManager.addTasks(BuildQueue.scala:122)</element>
+    <element>info.kwarc.mmt.api.archives.TraversingBuildTarget.build(BuildTarget.scala:389)</element>
+    <element>info.kwarc.mmt.api.archives.TraversingBuildTarget.build(BuildTarget.scala:383)</element>
+    <element>info.kwarc.mmt.api.archives.BuildTarget.apply(BuildTarget.scala:227)</element>
+    <element>info.kwarc.mmt.api.frontend.actions.ArchiveActionHandling.$anonfun$buildArchive$1(ArchiveAction.scala:119)</element>
+    <element>info.kwarc.mmt.api.frontend.actions.ArchiveActionHandling.$anonfun$buildArchive$1$adapted(ArchiveAction.scala:96)</element>
+    <element>scala.collection.immutable.List.foreach(List.scala:392)</element>
+    <element>info.kwarc.mmt.api.frontend.actions.ArchiveActionHandling.buildArchive(ArchiveAction.scala:96)</element>
+    <element>info.kwarc.mmt.api.frontend.actions.ArchiveActionHandling.buildArchive$(ArchiveAction.scala:95)</element>
+    <element>info.kwarc.mmt.api.frontend.Controller.buildArchive(Controller.scala:74)</element>
+    <element>info.kwarc.mmt.api.frontend.actions.ArchiveBuild.apply(ArchiveAction.scala:13)</element>
+    <element>info.kwarc.mmt.api.frontend.actions.ActionHandling.handle(ActionHandling.scala:48)</element>
+    <element>info.kwarc.mmt.api.frontend.actions.ActionHandling.handle$(ActionHandling.scala:37)</element>
+    <element>info.kwarc.mmt.api.frontend.Controller.handle(Controller.scala:74)</element>
+    <element>info.kwarc.mmt.api.frontend.actions.ActionHandling.handleLine(ActionHandling.scala:33)</element>
+    <element>info.kwarc.mmt.api.frontend.actions.ActionHandling.handleLine$(ActionHandling.scala:31)</element>
+    <element>info.kwarc.mmt.api.frontend.Controller.handleLine(Controller.scala:74)</element>
+    <element>info.kwarc.mmt.frameit.communication.server.playground.BuildFrameworld$.main(BuildFrameworld.scala:11)</element>
+    <element>info.kwarc.mmt.frameit.communication.server.playground.BuildFrameworld.main(BuildFrameworld.scala)</element>
   </stacktrace>
 </error>
 
@@ -146,11 +206,11 @@ type="info.kwarc.mmt.api.checking.RuleBasedChecker$$anon$3" shortMsg="invalid un
     <element>info.kwarc.mmt.api.frontend.Logger.logGroup$(Log.scala:31)</element>
     <element>info.kwarc.mmt.api.checking.RuleBasedChecker.logGroup(RuleBasedChecker.scala:17)</element>
     <element>info.kwarc.mmt.api.checking.RuleBasedChecker.apply(RuleBasedChecker.scala:95)</element>
-    <element>info.kwarc.mmt.api.checking.MMTStructureChecker.checkInhabitable$1(MMTStructureChecker.scala:313)</element>
-    <element>info.kwarc.mmt.api.checking.MMTStructureChecker.$anonfun$check$13(MMTStructureChecker.scala:322)</element>
-    <element>info.kwarc.mmt.api.checking.MMTStructureChecker.$anonfun$check$13$adapted(MMTStructureChecker.scala:319)</element>
+    <element>info.kwarc.mmt.api.checking.MMTStructureChecker.checkInhabitable$1(MMTStructureChecker.scala:316)</element>
+    <element>info.kwarc.mmt.api.checking.MMTStructureChecker.$anonfun$check$13(MMTStructureChecker.scala:325)</element>
+    <element>info.kwarc.mmt.api.checking.MMTStructureChecker.$anonfun$check$13$adapted(MMTStructureChecker.scala:322)</element>
     <element>scala.Option.foreach(Option.scala:407)</element>
-    <element>info.kwarc.mmt.api.checking.MMTStructureChecker.check(MMTStructureChecker.scala:319)</element>
+    <element>info.kwarc.mmt.api.checking.MMTStructureChecker.check(MMTStructureChecker.scala:322)</element>
     <element>info.kwarc.mmt.api.checking.MMTStructureChecker.applyElementBegin(MMTStructureChecker.scala:73)</element>
     <element>info.kwarc.mmt.api.checking.TwoStepInterpreter$$anon$1.onElement(Interpreter.scala:96)</element>
     <element>info.kwarc.mmt.api.parser.KeywordBasedParser.seCont(StructureParser.scala:131)</element>
@@ -176,7 +236,27 @@ type="info.kwarc.mmt.api.checking.RuleBasedChecker$$anon$3" shortMsg="invalid un
     <element>info.kwarc.mmt.api.archives.Importer.buildFile(Index.scala:159)</element>
     <element>info.kwarc.mmt.api.archives.TraversingBuildTarget.runBuildTask(BuildTarget.scala:564)</element>
     <element>info.kwarc.mmt.api.archives.TraversingBuildTarget.runBuildTaskIfNeeded(BuildTarget.scala:470)</element>
-    <element>info.kwarc.mmt.api.archives.BuildQueue$$anon$1.run(BuildQueue.scala:263)</element>
+    <element>info.kwarc.mmt.api.archives.TrivialBuildManager.$anonfun$addTasks$1(BuildQueue.scala:123)</element>
+    <element>scala.collection.immutable.List.foreach(List.scala:392)</element>
+    <element>info.kwarc.mmt.api.archives.TrivialBuildManager.addTasks(BuildQueue.scala:122)</element>
+    <element>info.kwarc.mmt.api.archives.TraversingBuildTarget.build(BuildTarget.scala:389)</element>
+    <element>info.kwarc.mmt.api.archives.TraversingBuildTarget.build(BuildTarget.scala:383)</element>
+    <element>info.kwarc.mmt.api.archives.BuildTarget.apply(BuildTarget.scala:227)</element>
+    <element>info.kwarc.mmt.api.frontend.actions.ArchiveActionHandling.$anonfun$buildArchive$1(ArchiveAction.scala:119)</element>
+    <element>info.kwarc.mmt.api.frontend.actions.ArchiveActionHandling.$anonfun$buildArchive$1$adapted(ArchiveAction.scala:96)</element>
+    <element>scala.collection.immutable.List.foreach(List.scala:392)</element>
+    <element>info.kwarc.mmt.api.frontend.actions.ArchiveActionHandling.buildArchive(ArchiveAction.scala:96)</element>
+    <element>info.kwarc.mmt.api.frontend.actions.ArchiveActionHandling.buildArchive$(ArchiveAction.scala:95)</element>
+    <element>info.kwarc.mmt.api.frontend.Controller.buildArchive(Controller.scala:74)</element>
+    <element>info.kwarc.mmt.api.frontend.actions.ArchiveBuild.apply(ArchiveAction.scala:13)</element>
+    <element>info.kwarc.mmt.api.frontend.actions.ActionHandling.handle(ActionHandling.scala:48)</element>
+    <element>info.kwarc.mmt.api.frontend.actions.ActionHandling.handle$(ActionHandling.scala:37)</element>
+    <element>info.kwarc.mmt.api.frontend.Controller.handle(Controller.scala:74)</element>
+    <element>info.kwarc.mmt.api.frontend.actions.ActionHandling.handleLine(ActionHandling.scala:33)</element>
+    <element>info.kwarc.mmt.api.frontend.actions.ActionHandling.handleLine$(ActionHandling.scala:31)</element>
+    <element>info.kwarc.mmt.api.frontend.Controller.handleLine(Controller.scala:74)</element>
+    <element>info.kwarc.mmt.frameit.communication.server.playground.BuildFrameworld$.main(BuildFrameworld.scala:11)</element>
+    <element>info.kwarc.mmt.frameit.communication.server.playground.BuildFrameworld.main(BuildFrameworld.scala)</element>
   </stacktrace>
 </error>
 
@@ -192,10 +272,10 @@ type="info.kwarc.mmt.api.checking.RuleBasedChecker$$anon$3" shortMsg="invalid un
     <element>info.kwarc.mmt.api.frontend.Logger.logGroup$(Log.scala:31)</element>
     <element>info.kwarc.mmt.api.checking.RuleBasedChecker.logGroup(RuleBasedChecker.scala:17)</element>
     <element>info.kwarc.mmt.api.checking.RuleBasedChecker.apply(RuleBasedChecker.scala:95)</element>
-    <element>info.kwarc.mmt.api.checking.MMTStructureChecker.$anonfun$check$15(MMTStructureChecker.scala:374)</element>
-    <element>info.kwarc.mmt.api.checking.MMTStructureChecker.$anonfun$check$15$adapted(MMTStructureChecker.scala:350)</element>
+    <element>info.kwarc.mmt.api.checking.MMTStructureChecker.$anonfun$check$15(MMTStructureChecker.scala:377)</element>
+    <element>info.kwarc.mmt.api.checking.MMTStructureChecker.$anonfun$check$15$adapted(MMTStructureChecker.scala:353)</element>
     <element>scala.Option.foreach(Option.scala:407)</element>
-    <element>info.kwarc.mmt.api.checking.MMTStructureChecker.check(MMTStructureChecker.scala:350)</element>
+    <element>info.kwarc.mmt.api.checking.MMTStructureChecker.check(MMTStructureChecker.scala:353)</element>
     <element>info.kwarc.mmt.api.checking.MMTStructureChecker.applyElementBegin(MMTStructureChecker.scala:73)</element>
     <element>info.kwarc.mmt.api.checking.TwoStepInterpreter$$anon$1.onElement(Interpreter.scala:96)</element>
     <element>info.kwarc.mmt.api.parser.KeywordBasedParser.seCont(StructureParser.scala:131)</element>
@@ -221,7 +301,27 @@ type="info.kwarc.mmt.api.checking.RuleBasedChecker$$anon$3" shortMsg="invalid un
     <element>info.kwarc.mmt.api.archives.Importer.buildFile(Index.scala:159)</element>
     <element>info.kwarc.mmt.api.archives.TraversingBuildTarget.runBuildTask(BuildTarget.scala:564)</element>
     <element>info.kwarc.mmt.api.archives.TraversingBuildTarget.runBuildTaskIfNeeded(BuildTarget.scala:470)</element>
-    <element>info.kwarc.mmt.api.archives.BuildQueue$$anon$1.run(BuildQueue.scala:263)</element>
+    <element>info.kwarc.mmt.api.archives.TrivialBuildManager.$anonfun$addTasks$1(BuildQueue.scala:123)</element>
+    <element>scala.collection.immutable.List.foreach(List.scala:392)</element>
+    <element>info.kwarc.mmt.api.archives.TrivialBuildManager.addTasks(BuildQueue.scala:122)</element>
+    <element>info.kwarc.mmt.api.archives.TraversingBuildTarget.build(BuildTarget.scala:389)</element>
+    <element>info.kwarc.mmt.api.archives.TraversingBuildTarget.build(BuildTarget.scala:383)</element>
+    <element>info.kwarc.mmt.api.archives.BuildTarget.apply(BuildTarget.scala:227)</element>
+    <element>info.kwarc.mmt.api.frontend.actions.ArchiveActionHandling.$anonfun$buildArchive$1(ArchiveAction.scala:119)</element>
+    <element>info.kwarc.mmt.api.frontend.actions.ArchiveActionHandling.$anonfun$buildArchive$1$adapted(ArchiveAction.scala:96)</element>
+    <element>scala.collection.immutable.List.foreach(List.scala:392)</element>
+    <element>info.kwarc.mmt.api.frontend.actions.ArchiveActionHandling.buildArchive(ArchiveAction.scala:96)</element>
+    <element>info.kwarc.mmt.api.frontend.actions.ArchiveActionHandling.buildArchive$(ArchiveAction.scala:95)</element>
+    <element>info.kwarc.mmt.api.frontend.Controller.buildArchive(Controller.scala:74)</element>
+    <element>info.kwarc.mmt.api.frontend.actions.ArchiveBuild.apply(ArchiveAction.scala:13)</element>
+    <element>info.kwarc.mmt.api.frontend.actions.ActionHandling.handle(ActionHandling.scala:48)</element>
+    <element>info.kwarc.mmt.api.frontend.actions.ActionHandling.handle$(ActionHandling.scala:37)</element>
+    <element>info.kwarc.mmt.api.frontend.Controller.handle(Controller.scala:74)</element>
+    <element>info.kwarc.mmt.api.frontend.actions.ActionHandling.handleLine(ActionHandling.scala:33)</element>
+    <element>info.kwarc.mmt.api.frontend.actions.ActionHandling.handleLine$(ActionHandling.scala:31)</element>
+    <element>info.kwarc.mmt.api.frontend.Controller.handleLine(Controller.scala:74)</element>
+    <element>info.kwarc.mmt.frameit.communication.server.playground.BuildFrameworld$.main(BuildFrameworld.scala:11)</element>
+    <element>info.kwarc.mmt.frameit.communication.server.playground.BuildFrameworld.main(BuildFrameworld.scala)</element>
   </stacktrace>
 </error>
 
@@ -237,10 +337,10 @@ type="info.kwarc.mmt.api.checking.RuleBasedChecker$$anon$3" shortMsg="invalid un
     <element>info.kwarc.mmt.api.frontend.Logger.logGroup$(Log.scala:31)</element>
     <element>info.kwarc.mmt.api.checking.RuleBasedChecker.logGroup(RuleBasedChecker.scala:17)</element>
     <element>info.kwarc.mmt.api.checking.RuleBasedChecker.apply(RuleBasedChecker.scala:95)</element>
-    <element>info.kwarc.mmt.api.checking.MMTStructureChecker.$anonfun$check$15(MMTStructureChecker.scala:374)</element>
-    <element>info.kwarc.mmt.api.checking.MMTStructureChecker.$anonfun$check$15$adapted(MMTStructureChecker.scala:350)</element>
+    <element>info.kwarc.mmt.api.checking.MMTStructureChecker.$anonfun$check$15(MMTStructureChecker.scala:377)</element>
+    <element>info.kwarc.mmt.api.checking.MMTStructureChecker.$anonfun$check$15$adapted(MMTStructureChecker.scala:353)</element>
     <element>scala.Option.foreach(Option.scala:407)</element>
-    <element>info.kwarc.mmt.api.checking.MMTStructureChecker.check(MMTStructureChecker.scala:350)</element>
+    <element>info.kwarc.mmt.api.checking.MMTStructureChecker.check(MMTStructureChecker.scala:353)</element>
     <element>info.kwarc.mmt.api.checking.MMTStructureChecker.applyElementBegin(MMTStructureChecker.scala:73)</element>
     <element>info.kwarc.mmt.api.checking.TwoStepInterpreter$$anon$1.onElement(Interpreter.scala:96)</element>
     <element>info.kwarc.mmt.api.parser.KeywordBasedParser.seCont(StructureParser.scala:131)</element>
@@ -266,7 +366,27 @@ type="info.kwarc.mmt.api.checking.RuleBasedChecker$$anon$3" shortMsg="invalid un
     <element>info.kwarc.mmt.api.archives.Importer.buildFile(Index.scala:159)</element>
     <element>info.kwarc.mmt.api.archives.TraversingBuildTarget.runBuildTask(BuildTarget.scala:564)</element>
     <element>info.kwarc.mmt.api.archives.TraversingBuildTarget.runBuildTaskIfNeeded(BuildTarget.scala:470)</element>
-    <element>info.kwarc.mmt.api.archives.BuildQueue$$anon$1.run(BuildQueue.scala:263)</element>
+    <element>info.kwarc.mmt.api.archives.TrivialBuildManager.$anonfun$addTasks$1(BuildQueue.scala:123)</element>
+    <element>scala.collection.immutable.List.foreach(List.scala:392)</element>
+    <element>info.kwarc.mmt.api.archives.TrivialBuildManager.addTasks(BuildQueue.scala:122)</element>
+    <element>info.kwarc.mmt.api.archives.TraversingBuildTarget.build(BuildTarget.scala:389)</element>
+    <element>info.kwarc.mmt.api.archives.TraversingBuildTarget.build(BuildTarget.scala:383)</element>
+    <element>info.kwarc.mmt.api.archives.BuildTarget.apply(BuildTarget.scala:227)</element>
+    <element>info.kwarc.mmt.api.frontend.actions.ArchiveActionHandling.$anonfun$buildArchive$1(ArchiveAction.scala:119)</element>
+    <element>info.kwarc.mmt.api.frontend.actions.ArchiveActionHandling.$anonfun$buildArchive$1$adapted(ArchiveAction.scala:96)</element>
+    <element>scala.collection.immutable.List.foreach(List.scala:392)</element>
+    <element>info.kwarc.mmt.api.frontend.actions.ArchiveActionHandling.buildArchive(ArchiveAction.scala:96)</element>
+    <element>info.kwarc.mmt.api.frontend.actions.ArchiveActionHandling.buildArchive$(ArchiveAction.scala:95)</element>
+    <element>info.kwarc.mmt.api.frontend.Controller.buildArchive(Controller.scala:74)</element>
+    <element>info.kwarc.mmt.api.frontend.actions.ArchiveBuild.apply(ArchiveAction.scala:13)</element>
+    <element>info.kwarc.mmt.api.frontend.actions.ActionHandling.handle(ActionHandling.scala:48)</element>
+    <element>info.kwarc.mmt.api.frontend.actions.ActionHandling.handle$(ActionHandling.scala:37)</element>
+    <element>info.kwarc.mmt.api.frontend.Controller.handle(Controller.scala:74)</element>
+    <element>info.kwarc.mmt.api.frontend.actions.ActionHandling.handleLine(ActionHandling.scala:33)</element>
+    <element>info.kwarc.mmt.api.frontend.actions.ActionHandling.handleLine$(ActionHandling.scala:31)</element>
+    <element>info.kwarc.mmt.api.frontend.Controller.handleLine(Controller.scala:74)</element>
+    <element>info.kwarc.mmt.frameit.communication.server.playground.BuildFrameworld$.main(BuildFrameworld.scala:11)</element>
+    <element>info.kwarc.mmt.frameit.communication.server.playground.BuildFrameworld.main(BuildFrameworld.scala)</element>
   </stacktrace>
 </error>
 
@@ -282,10 +402,10 @@ type="info.kwarc.mmt.api.checking.RuleBasedChecker$$anon$3" shortMsg="invalid un
     <element>info.kwarc.mmt.api.frontend.Logger.logGroup$(Log.scala:31)</element>
     <element>info.kwarc.mmt.api.checking.RuleBasedChecker.logGroup(RuleBasedChecker.scala:17)</element>
     <element>info.kwarc.mmt.api.checking.RuleBasedChecker.apply(RuleBasedChecker.scala:95)</element>
-    <element>info.kwarc.mmt.api.checking.MMTStructureChecker.$anonfun$check$15(MMTStructureChecker.scala:374)</element>
-    <element>info.kwarc.mmt.api.checking.MMTStructureChecker.$anonfun$check$15$adapted(MMTStructureChecker.scala:350)</element>
+    <element>info.kwarc.mmt.api.checking.MMTStructureChecker.$anonfun$check$15(MMTStructureChecker.scala:377)</element>
+    <element>info.kwarc.mmt.api.checking.MMTStructureChecker.$anonfun$check$15$adapted(MMTStructureChecker.scala:353)</element>
     <element>scala.Option.foreach(Option.scala:407)</element>
-    <element>info.kwarc.mmt.api.checking.MMTStructureChecker.check(MMTStructureChecker.scala:350)</element>
+    <element>info.kwarc.mmt.api.checking.MMTStructureChecker.check(MMTStructureChecker.scala:353)</element>
     <element>info.kwarc.mmt.api.checking.MMTStructureChecker.applyElementBegin(MMTStructureChecker.scala:73)</element>
     <element>info.kwarc.mmt.api.checking.TwoStepInterpreter$$anon$1.onElement(Interpreter.scala:96)</element>
     <element>info.kwarc.mmt.api.parser.KeywordBasedParser.seCont(StructureParser.scala:131)</element>
@@ -311,7 +431,27 @@ type="info.kwarc.mmt.api.checking.RuleBasedChecker$$anon$3" shortMsg="invalid un
     <element>info.kwarc.mmt.api.archives.Importer.buildFile(Index.scala:159)</element>
     <element>info.kwarc.mmt.api.archives.TraversingBuildTarget.runBuildTask(BuildTarget.scala:564)</element>
     <element>info.kwarc.mmt.api.archives.TraversingBuildTarget.runBuildTaskIfNeeded(BuildTarget.scala:470)</element>
-    <element>info.kwarc.mmt.api.archives.BuildQueue$$anon$1.run(BuildQueue.scala:263)</element>
+    <element>info.kwarc.mmt.api.archives.TrivialBuildManager.$anonfun$addTasks$1(BuildQueue.scala:123)</element>
+    <element>scala.collection.immutable.List.foreach(List.scala:392)</element>
+    <element>info.kwarc.mmt.api.archives.TrivialBuildManager.addTasks(BuildQueue.scala:122)</element>
+    <element>info.kwarc.mmt.api.archives.TraversingBuildTarget.build(BuildTarget.scala:389)</element>
+    <element>info.kwarc.mmt.api.archives.TraversingBuildTarget.build(BuildTarget.scala:383)</element>
+    <element>info.kwarc.mmt.api.archives.BuildTarget.apply(BuildTarget.scala:227)</element>
+    <element>info.kwarc.mmt.api.frontend.actions.ArchiveActionHandling.$anonfun$buildArchive$1(ArchiveAction.scala:119)</element>
+    <element>info.kwarc.mmt.api.frontend.actions.ArchiveActionHandling.$anonfun$buildArchive$1$adapted(ArchiveAction.scala:96)</element>
+    <element>scala.collection.immutable.List.foreach(List.scala:392)</element>
+    <element>info.kwarc.mmt.api.frontend.actions.ArchiveActionHandling.buildArchive(ArchiveAction.scala:96)</element>
+    <element>info.kwarc.mmt.api.frontend.actions.ArchiveActionHandling.buildArchive$(ArchiveAction.scala:95)</element>
+    <element>info.kwarc.mmt.api.frontend.Controller.buildArchive(Controller.scala:74)</element>
+    <element>info.kwarc.mmt.api.frontend.actions.ArchiveBuild.apply(ArchiveAction.scala:13)</element>
+    <element>info.kwarc.mmt.api.frontend.actions.ActionHandling.handle(ActionHandling.scala:48)</element>
+    <element>info.kwarc.mmt.api.frontend.actions.ActionHandling.handle$(ActionHandling.scala:37)</element>
+    <element>info.kwarc.mmt.api.frontend.Controller.handle(Controller.scala:74)</element>
+    <element>info.kwarc.mmt.api.frontend.actions.ActionHandling.handleLine(ActionHandling.scala:33)</element>
+    <element>info.kwarc.mmt.api.frontend.actions.ActionHandling.handleLine$(ActionHandling.scala:31)</element>
+    <element>info.kwarc.mmt.api.frontend.Controller.handleLine(Controller.scala:74)</element>
+    <element>info.kwarc.mmt.frameit.communication.server.playground.BuildFrameworld$.main(BuildFrameworld.scala:11)</element>
+    <element>info.kwarc.mmt.frameit.communication.server.playground.BuildFrameworld.main(BuildFrameworld.scala)</element>
   </stacktrace>
 </error>
 
@@ -326,10 +466,10 @@ type="info.kwarc.mmt.api.checking.RuleBasedChecker$$anon$3" shortMsg="invalid un
     <element>info.kwarc.mmt.api.frontend.Logger.logGroup$(Log.scala:31)</element>
     <element>info.kwarc.mmt.api.checking.RuleBasedChecker.logGroup(RuleBasedChecker.scala:17)</element>
     <element>info.kwarc.mmt.api.checking.RuleBasedChecker.apply(RuleBasedChecker.scala:95)</element>
-    <element>info.kwarc.mmt.api.checking.MMTStructureChecker.$anonfun$check$15(MMTStructureChecker.scala:374)</element>
-    <element>info.kwarc.mmt.api.checking.MMTStructureChecker.$anonfun$check$15$adapted(MMTStructureChecker.scala:350)</element>
+    <element>info.kwarc.mmt.api.checking.MMTStructureChecker.$anonfun$check$15(MMTStructureChecker.scala:377)</element>
+    <element>info.kwarc.mmt.api.checking.MMTStructureChecker.$anonfun$check$15$adapted(MMTStructureChecker.scala:353)</element>
     <element>scala.Option.foreach(Option.scala:407)</element>
-    <element>info.kwarc.mmt.api.checking.MMTStructureChecker.check(MMTStructureChecker.scala:350)</element>
+    <element>info.kwarc.mmt.api.checking.MMTStructureChecker.check(MMTStructureChecker.scala:353)</element>
     <element>info.kwarc.mmt.api.checking.MMTStructureChecker.applyElementBegin(MMTStructureChecker.scala:73)</element>
     <element>info.kwarc.mmt.api.checking.TwoStepInterpreter$$anon$1.onElement(Interpreter.scala:96)</element>
     <element>info.kwarc.mmt.api.parser.KeywordBasedParser.seCont(StructureParser.scala:131)</element>
@@ -355,7 +495,27 @@ type="info.kwarc.mmt.api.checking.RuleBasedChecker$$anon$3" shortMsg="invalid un
     <element>info.kwarc.mmt.api.archives.Importer.buildFile(Index.scala:159)</element>
     <element>info.kwarc.mmt.api.archives.TraversingBuildTarget.runBuildTask(BuildTarget.scala:564)</element>
     <element>info.kwarc.mmt.api.archives.TraversingBuildTarget.runBuildTaskIfNeeded(BuildTarget.scala:470)</element>
-    <element>info.kwarc.mmt.api.archives.BuildQueue$$anon$1.run(BuildQueue.scala:263)</element>
+    <element>info.kwarc.mmt.api.archives.TrivialBuildManager.$anonfun$addTasks$1(BuildQueue.scala:123)</element>
+    <element>scala.collection.immutable.List.foreach(List.scala:392)</element>
+    <element>info.kwarc.mmt.api.archives.TrivialBuildManager.addTasks(BuildQueue.scala:122)</element>
+    <element>info.kwarc.mmt.api.archives.TraversingBuildTarget.build(BuildTarget.scala:389)</element>
+    <element>info.kwarc.mmt.api.archives.TraversingBuildTarget.build(BuildTarget.scala:383)</element>
+    <element>info.kwarc.mmt.api.archives.BuildTarget.apply(BuildTarget.scala:227)</element>
+    <element>info.kwarc.mmt.api.frontend.actions.ArchiveActionHandling.$anonfun$buildArchive$1(ArchiveAction.scala:119)</element>
+    <element>info.kwarc.mmt.api.frontend.actions.ArchiveActionHandling.$anonfun$buildArchive$1$adapted(ArchiveAction.scala:96)</element>
+    <element>scala.collection.immutable.List.foreach(List.scala:392)</element>
+    <element>info.kwarc.mmt.api.frontend.actions.ArchiveActionHandling.buildArchive(ArchiveAction.scala:96)</element>
+    <element>info.kwarc.mmt.api.frontend.actions.ArchiveActionHandling.buildArchive$(ArchiveAction.scala:95)</element>
+    <element>info.kwarc.mmt.api.frontend.Controller.buildArchive(Controller.scala:74)</element>
+    <element>info.kwarc.mmt.api.frontend.actions.ArchiveBuild.apply(ArchiveAction.scala:13)</element>
+    <element>info.kwarc.mmt.api.frontend.actions.ActionHandling.handle(ActionHandling.scala:48)</element>
+    <element>info.kwarc.mmt.api.frontend.actions.ActionHandling.handle$(ActionHandling.scala:37)</element>
+    <element>info.kwarc.mmt.api.frontend.Controller.handle(Controller.scala:74)</element>
+    <element>info.kwarc.mmt.api.frontend.actions.ActionHandling.handleLine(ActionHandling.scala:33)</element>
+    <element>info.kwarc.mmt.api.frontend.actions.ActionHandling.handleLine$(ActionHandling.scala:31)</element>
+    <element>info.kwarc.mmt.api.frontend.Controller.handleLine(Controller.scala:74)</element>
+    <element>info.kwarc.mmt.frameit.communication.server.playground.BuildFrameworld$.main(BuildFrameworld.scala:11)</element>
+    <element>info.kwarc.mmt.frameit.communication.server.playground.BuildFrameworld.main(BuildFrameworld.scala)</element>
   </stacktrace>
 </error>
 <error type="info.kwarc.mmt.api.checking.RuleBasedChecker$$anon$3" shortMsg="invalid unit: http://mathhub.info/LoViVo/gearbox?gb2?c2?definition: Judgment  |- ['center=⟨0,2⟩,radius=1,numteeth=10,angle=0.05'] : cogwheel" level="2">
@@ -369,10 +529,10 @@ type="info.kwarc.mmt.api.checking.RuleBasedChecker$$anon$3" shortMsg="invalid un
     <element>info.kwarc.mmt.api.frontend.Logger.logGroup$(Log.scala:31)</element>
     <element>info.kwarc.mmt.api.checking.RuleBasedChecker.logGroup(RuleBasedChecker.scala:17)</element>
     <element>info.kwarc.mmt.api.checking.RuleBasedChecker.apply(RuleBasedChecker.scala:95)</element>
-    <element>info.kwarc.mmt.api.checking.MMTStructureChecker.$anonfun$check$15(MMTStructureChecker.scala:374)</element>
-    <element>info.kwarc.mmt.api.checking.MMTStructureChecker.$anonfun$check$15$adapted(MMTStructureChecker.scala:350)</element>
+    <element>info.kwarc.mmt.api.checking.MMTStructureChecker.$anonfun$check$15(MMTStructureChecker.scala:377)</element>
+    <element>info.kwarc.mmt.api.checking.MMTStructureChecker.$anonfun$check$15$adapted(MMTStructureChecker.scala:353)</element>
     <element>scala.Option.foreach(Option.scala:407)</element>
-    <element>info.kwarc.mmt.api.checking.MMTStructureChecker.check(MMTStructureChecker.scala:350)</element>
+    <element>info.kwarc.mmt.api.checking.MMTStructureChecker.check(MMTStructureChecker.scala:353)</element>
     <element>info.kwarc.mmt.api.checking.MMTStructureChecker.applyElementBegin(MMTStructureChecker.scala:73)</element>
     <element>info.kwarc.mmt.api.checking.TwoStepInterpreter$$anon$1.onElement(Interpreter.scala:96)</element>
     <element>info.kwarc.mmt.api.parser.KeywordBasedParser.seCont(StructureParser.scala:131)</element>
@@ -398,7 +558,27 @@ type="info.kwarc.mmt.api.checking.RuleBasedChecker$$anon$3" shortMsg="invalid un
     <element>info.kwarc.mmt.api.archives.Importer.buildFile(Index.scala:159)</element>
     <element>info.kwarc.mmt.api.archives.TraversingBuildTarget.runBuildTask(BuildTarget.scala:564)</element>
     <element>info.kwarc.mmt.api.archives.TraversingBuildTarget.runBuildTaskIfNeeded(BuildTarget.scala:470)</element>
-    <element>info.kwarc.mmt.api.archives.BuildQueue$$anon$1.run(BuildQueue.scala:263)</element>
+    <element>info.kwarc.mmt.api.archives.TrivialBuildManager.$anonfun$addTasks$1(BuildQueue.scala:123)</element>
+    <element>scala.collection.immutable.List.foreach(List.scala:392)</element>
+    <element>info.kwarc.mmt.api.archives.TrivialBuildManager.addTasks(BuildQueue.scala:122)</element>
+    <element>info.kwarc.mmt.api.archives.TraversingBuildTarget.build(BuildTarget.scala:389)</element>
+    <element>info.kwarc.mmt.api.archives.TraversingBuildTarget.build(BuildTarget.scala:383)</element>
+    <element>info.kwarc.mmt.api.archives.BuildTarget.apply(BuildTarget.scala:227)</element>
+    <element>info.kwarc.mmt.api.frontend.actions.ArchiveActionHandling.$anonfun$buildArchive$1(ArchiveAction.scala:119)</element>
+    <element>info.kwarc.mmt.api.frontend.actions.ArchiveActionHandling.$anonfun$buildArchive$1$adapted(ArchiveAction.scala:96)</element>
+    <element>scala.collection.immutable.List.foreach(List.scala:392)</element>
+    <element>info.kwarc.mmt.api.frontend.actions.ArchiveActionHandling.buildArchive(ArchiveAction.scala:96)</element>
+    <element>info.kwarc.mmt.api.frontend.actions.ArchiveActionHandling.buildArchive$(ArchiveAction.scala:95)</element>
+    <element>info.kwarc.mmt.api.frontend.Controller.buildArchive(Controller.scala:74)</element>
+    <element>info.kwarc.mmt.api.frontend.actions.ArchiveBuild.apply(ArchiveAction.scala:13)</element>
+    <element>info.kwarc.mmt.api.frontend.actions.ActionHandling.handle(ActionHandling.scala:48)</element>
+    <element>info.kwarc.mmt.api.frontend.actions.ActionHandling.handle$(ActionHandling.scala:37)</element>
+    <element>info.kwarc.mmt.api.frontend.Controller.handle(Controller.scala:74)</element>
+    <element>info.kwarc.mmt.api.frontend.actions.ActionHandling.handleLine(ActionHandling.scala:33)</element>
+    <element>info.kwarc.mmt.api.frontend.actions.ActionHandling.handleLine$(ActionHandling.scala:31)</element>
+    <element>info.kwarc.mmt.api.frontend.Controller.handleLine(Controller.scala:74)</element>
+    <element>info.kwarc.mmt.frameit.communication.server.playground.BuildFrameworld$.main(BuildFrameworld.scala:11)</element>
+    <element>info.kwarc.mmt.frameit.communication.server.playground.BuildFrameworld.main(BuildFrameworld.scala)</element>
   </stacktrace>
 </error>
 <error type="info.kwarc.mmt.api.checking.RuleBasedChecker$$anon$3" shortMsg="invalid unit: http://mathhub.info/LoViVo/gearbox?gb2?proof_interlocking?definition: Judgment  |- eq_refl c1.radius+c2.radius : ⊦interlocking c1 c2" level="2">
@@ -412,10 +592,10 @@ type="info.kwarc.mmt.api.checking.RuleBasedChecker$$anon$3" shortMsg="invalid un
     <element>info.kwarc.mmt.api.frontend.Logger.logGroup$(Log.scala:31)</element>
     <element>info.kwarc.mmt.api.checking.RuleBasedChecker.logGroup(RuleBasedChecker.scala:17)</element>
     <element>info.kwarc.mmt.api.checking.RuleBasedChecker.apply(RuleBasedChecker.scala:95)</element>
-    <element>info.kwarc.mmt.api.checking.MMTStructureChecker.$anonfun$check$15(MMTStructureChecker.scala:374)</element>
-    <element>info.kwarc.mmt.api.checking.MMTStructureChecker.$anonfun$check$15$adapted(MMTStructureChecker.scala:350)</element>
+    <element>info.kwarc.mmt.api.checking.MMTStructureChecker.$anonfun$check$15(MMTStructureChecker.scala:377)</element>
+    <element>info.kwarc.mmt.api.checking.MMTStructureChecker.$anonfun$check$15$adapted(MMTStructureChecker.scala:353)</element>
     <element>scala.Option.foreach(Option.scala:407)</element>
-    <element>info.kwarc.mmt.api.checking.MMTStructureChecker.check(MMTStructureChecker.scala:350)</element>
+    <element>info.kwarc.mmt.api.checking.MMTStructureChecker.check(MMTStructureChecker.scala:353)</element>
     <element>info.kwarc.mmt.api.checking.MMTStructureChecker.applyElementBegin(MMTStructureChecker.scala:73)</element>
     <element>info.kwarc.mmt.api.checking.TwoStepInterpreter$$anon$1.onElement(Interpreter.scala:96)</element>
     <element>info.kwarc.mmt.api.parser.KeywordBasedParser.seCont(StructureParser.scala:131)</element>
@@ -441,7 +621,27 @@ type="info.kwarc.mmt.api.checking.RuleBasedChecker$$anon$3" shortMsg="invalid un
     <element>info.kwarc.mmt.api.archives.Importer.buildFile(Index.scala:159)</element>
     <element>info.kwarc.mmt.api.archives.TraversingBuildTarget.runBuildTask(BuildTarget.scala:564)</element>
     <element>info.kwarc.mmt.api.archives.TraversingBuildTarget.runBuildTaskIfNeeded(BuildTarget.scala:470)</element>
-    <element>info.kwarc.mmt.api.archives.BuildQueue$$anon$1.run(BuildQueue.scala:263)</element>
+    <element>info.kwarc.mmt.api.archives.TrivialBuildManager.$anonfun$addTasks$1(BuildQueue.scala:123)</element>
+    <element>scala.collection.immutable.List.foreach(List.scala:392)</element>
+    <element>info.kwarc.mmt.api.archives.TrivialBuildManager.addTasks(BuildQueue.scala:122)</element>
+    <element>info.kwarc.mmt.api.archives.TraversingBuildTarget.build(BuildTarget.scala:389)</element>
+    <element>info.kwarc.mmt.api.archives.TraversingBuildTarget.build(BuildTarget.scala:383)</element>
+    <element>info.kwarc.mmt.api.archives.BuildTarget.apply(BuildTarget.scala:227)</element>
+    <element>info.kwarc.mmt.api.frontend.actions.ArchiveActionHandling.$anonfun$buildArchive$1(ArchiveAction.scala:119)</element>
+    <element>info.kwarc.mmt.api.frontend.actions.ArchiveActionHandling.$anonfun$buildArchive$1$adapted(ArchiveAction.scala:96)</element>
+    <element>scala.collection.immutable.List.foreach(List.scala:392)</element>
+    <element>info.kwarc.mmt.api.frontend.actions.ArchiveActionHandling.buildArchive(ArchiveAction.scala:96)</element>
+    <element>info.kwarc.mmt.api.frontend.actions.ArchiveActionHandling.buildArchive$(ArchiveAction.scala:95)</element>
+    <element>info.kwarc.mmt.api.frontend.Controller.buildArchive(Controller.scala:74)</element>
+    <element>info.kwarc.mmt.api.frontend.actions.ArchiveBuild.apply(ArchiveAction.scala:13)</element>
+    <element>info.kwarc.mmt.api.frontend.actions.ActionHandling.handle(ActionHandling.scala:48)</element>
+    <element>info.kwarc.mmt.api.frontend.actions.ActionHandling.handle$(ActionHandling.scala:37)</element>
+    <element>info.kwarc.mmt.api.frontend.Controller.handle(Controller.scala:74)</element>
+    <element>info.kwarc.mmt.api.frontend.actions.ActionHandling.handleLine(ActionHandling.scala:33)</element>
+    <element>info.kwarc.mmt.api.frontend.actions.ActionHandling.handleLine$(ActionHandling.scala:31)</element>
+    <element>info.kwarc.mmt.api.frontend.Controller.handleLine(Controller.scala:74)</element>
+    <element>info.kwarc.mmt.frameit.communication.server.playground.BuildFrameworld$.main(BuildFrameworld.scala:11)</element>
+    <element>info.kwarc.mmt.frameit.communication.server.playground.BuildFrameworld.main(BuildFrameworld.scala)</element>
   </stacktrace>
 </error>
 <error type="info.kwarc.mmt.api.checking.RuleBasedChecker$$anon$3" shortMsg="invalid unit: http://mathhub.info/LoViVo/gearbox?gb2?proof_interlocking?definition: Judgment  |- eq_refl c1.radius+c2.radius : ⊦interlocking c1 c2" level="2">
@@ -455,10 +655,10 @@ type="info.kwarc.mmt.api.checking.RuleBasedChecker$$anon$3" shortMsg="invalid un
     <element>info.kwarc.mmt.api.frontend.Logger.logGroup$(Log.scala:31)</element>
     <element>info.kwarc.mmt.api.checking.RuleBasedChecker.logGroup(RuleBasedChecker.scala:17)</element>
     <element>info.kwarc.mmt.api.checking.RuleBasedChecker.apply(RuleBasedChecker.scala:95)</element>
-    <element>info.kwarc.mmt.api.checking.MMTStructureChecker.$anonfun$check$15(MMTStructureChecker.scala:374)</element>
-    <element>info.kwarc.mmt.api.checking.MMTStructureChecker.$anonfun$check$15$adapted(MMTStructureChecker.scala:350)</element>
+    <element>info.kwarc.mmt.api.checking.MMTStructureChecker.$anonfun$check$15(MMTStructureChecker.scala:377)</element>
+    <element>info.kwarc.mmt.api.checking.MMTStructureChecker.$anonfun$check$15$adapted(MMTStructureChecker.scala:353)</element>
     <element>scala.Option.foreach(Option.scala:407)</element>
-    <element>info.kwarc.mmt.api.checking.MMTStructureChecker.check(MMTStructureChecker.scala:350)</element>
+    <element>info.kwarc.mmt.api.checking.MMTStructureChecker.check(MMTStructureChecker.scala:353)</element>
     <element>info.kwarc.mmt.api.checking.MMTStructureChecker.applyElementBegin(MMTStructureChecker.scala:73)</element>
     <element>info.kwarc.mmt.api.checking.TwoStepInterpreter$$anon$1.onElement(Interpreter.scala:96)</element>
     <element>info.kwarc.mmt.api.parser.KeywordBasedParser.seCont(StructureParser.scala:131)</element>
@@ -484,7 +684,27 @@ type="info.kwarc.mmt.api.checking.RuleBasedChecker$$anon$3" shortMsg="invalid un
     <element>info.kwarc.mmt.api.archives.Importer.buildFile(Index.scala:159)</element>
     <element>info.kwarc.mmt.api.archives.TraversingBuildTarget.runBuildTask(BuildTarget.scala:564)</element>
     <element>info.kwarc.mmt.api.archives.TraversingBuildTarget.runBuildTaskIfNeeded(BuildTarget.scala:470)</element>
-    <element>info.kwarc.mmt.api.archives.BuildQueue$$anon$1.run(BuildQueue.scala:263)</element>
+    <element>info.kwarc.mmt.api.archives.TrivialBuildManager.$anonfun$addTasks$1(BuildQueue.scala:123)</element>
+    <element>scala.collection.immutable.List.foreach(List.scala:392)</element>
+    <element>info.kwarc.mmt.api.archives.TrivialBuildManager.addTasks(BuildQueue.scala:122)</element>
+    <element>info.kwarc.mmt.api.archives.TraversingBuildTarget.build(BuildTarget.scala:389)</element>
+    <element>info.kwarc.mmt.api.archives.TraversingBuildTarget.build(BuildTarget.scala:383)</element>
+    <element>info.kwarc.mmt.api.archives.BuildTarget.apply(BuildTarget.scala:227)</element>
+    <element>info.kwarc.mmt.api.frontend.actions.ArchiveActionHandling.$anonfun$buildArchive$1(ArchiveAction.scala:119)</element>
+    <element>info.kwarc.mmt.api.frontend.actions.ArchiveActionHandling.$anonfun$buildArchive$1$adapted(ArchiveAction.scala:96)</element>
+    <element>scala.collection.immutable.List.foreach(List.scala:392)</element>
+    <element>info.kwarc.mmt.api.frontend.actions.ArchiveActionHandling.buildArchive(ArchiveAction.scala:96)</element>
+    <element>info.kwarc.mmt.api.frontend.actions.ArchiveActionHandling.buildArchive$(ArchiveAction.scala:95)</element>
+    <element>info.kwarc.mmt.api.frontend.Controller.buildArchive(Controller.scala:74)</element>
+    <element>info.kwarc.mmt.api.frontend.actions.ArchiveBuild.apply(ArchiveAction.scala:13)</element>
+    <element>info.kwarc.mmt.api.frontend.actions.ActionHandling.handle(ActionHandling.scala:48)</element>
+    <element>info.kwarc.mmt.api.frontend.actions.ActionHandling.handle$(ActionHandling.scala:37)</element>
+    <element>info.kwarc.mmt.api.frontend.Controller.handle(Controller.scala:74)</element>
+    <element>info.kwarc.mmt.api.frontend.actions.ActionHandling.handleLine(ActionHandling.scala:33)</element>
+    <element>info.kwarc.mmt.api.frontend.actions.ActionHandling.handleLine$(ActionHandling.scala:31)</element>
+    <element>info.kwarc.mmt.api.frontend.Controller.handleLine(Controller.scala:74)</element>
+    <element>info.kwarc.mmt.frameit.communication.server.playground.BuildFrameworld$.main(BuildFrameworld.scala:11)</element>
+    <element>info.kwarc.mmt.frameit.communication.server.playground.BuildFrameworld.main(BuildFrameworld.scala)</element>
   </stacktrace>
 </error>
 <error type="info.kwarc.mmt.api.checking.RuleBasedChecker$$anon$3" shortMsg="invalid unit: http://mathhub.info/LoViVo/gearbox?gb2?proof_interlocking?definition: Judgment  |- eq_refl c1.radius+c2.radius : ⊦interlocking c1 c2" level="2">
@@ -498,10 +718,10 @@ type="info.kwarc.mmt.api.checking.RuleBasedChecker$$anon$3" shortMsg="invalid un
     <element>info.kwarc.mmt.api.frontend.Logger.logGroup$(Log.scala:31)</element>
     <element>info.kwarc.mmt.api.checking.RuleBasedChecker.logGroup(RuleBasedChecker.scala:17)</element>
     <element>info.kwarc.mmt.api.checking.RuleBasedChecker.apply(RuleBasedChecker.scala:95)</element>
-    <element>info.kwarc.mmt.api.checking.MMTStructureChecker.$anonfun$check$15(MMTStructureChecker.scala:374)</element>
-    <element>info.kwarc.mmt.api.checking.MMTStructureChecker.$anonfun$check$15$adapted(MMTStructureChecker.scala:350)</element>
+    <element>info.kwarc.mmt.api.checking.MMTStructureChecker.$anonfun$check$15(MMTStructureChecker.scala:377)</element>
+    <element>info.kwarc.mmt.api.checking.MMTStructureChecker.$anonfun$check$15$adapted(MMTStructureChecker.scala:353)</element>
     <element>scala.Option.foreach(Option.scala:407)</element>
-    <element>info.kwarc.mmt.api.checking.MMTStructureChecker.check(MMTStructureChecker.scala:350)</element>
+    <element>info.kwarc.mmt.api.checking.MMTStructureChecker.check(MMTStructureChecker.scala:353)</element>
     <element>info.kwarc.mmt.api.checking.MMTStructureChecker.applyElementBegin(MMTStructureChecker.scala:73)</element>
     <element>info.kwarc.mmt.api.checking.TwoStepInterpreter$$anon$1.onElement(Interpreter.scala:96)</element>
     <element>info.kwarc.mmt.api.parser.KeywordBasedParser.seCont(StructureParser.scala:131)</element>
@@ -527,7 +747,27 @@ type="info.kwarc.mmt.api.checking.RuleBasedChecker$$anon$3" shortMsg="invalid un
     <element>info.kwarc.mmt.api.archives.Importer.buildFile(Index.scala:159)</element>
     <element>info.kwarc.mmt.api.archives.TraversingBuildTarget.runBuildTask(BuildTarget.scala:564)</element>
     <element>info.kwarc.mmt.api.archives.TraversingBuildTarget.runBuildTaskIfNeeded(BuildTarget.scala:470)</element>
-    <element>info.kwarc.mmt.api.archives.BuildQueue$$anon$1.run(BuildQueue.scala:263)</element>
+    <element>info.kwarc.mmt.api.archives.TrivialBuildManager.$anonfun$addTasks$1(BuildQueue.scala:123)</element>
+    <element>scala.collection.immutable.List.foreach(List.scala:392)</element>
+    <element>info.kwarc.mmt.api.archives.TrivialBuildManager.addTasks(BuildQueue.scala:122)</element>
+    <element>info.kwarc.mmt.api.archives.TraversingBuildTarget.build(BuildTarget.scala:389)</element>
+    <element>info.kwarc.mmt.api.archives.TraversingBuildTarget.build(BuildTarget.scala:383)</element>
+    <element>info.kwarc.mmt.api.archives.BuildTarget.apply(BuildTarget.scala:227)</element>
+    <element>info.kwarc.mmt.api.frontend.actions.ArchiveActionHandling.$anonfun$buildArchive$1(ArchiveAction.scala:119)</element>
+    <element>info.kwarc.mmt.api.frontend.actions.ArchiveActionHandling.$anonfun$buildArchive$1$adapted(ArchiveAction.scala:96)</element>
+    <element>scala.collection.immutable.List.foreach(List.scala:392)</element>
+    <element>info.kwarc.mmt.api.frontend.actions.ArchiveActionHandling.buildArchive(ArchiveAction.scala:96)</element>
+    <element>info.kwarc.mmt.api.frontend.actions.ArchiveActionHandling.buildArchive$(ArchiveAction.scala:95)</element>
+    <element>info.kwarc.mmt.api.frontend.Controller.buildArchive(Controller.scala:74)</element>
+    <element>info.kwarc.mmt.api.frontend.actions.ArchiveBuild.apply(ArchiveAction.scala:13)</element>
+    <element>info.kwarc.mmt.api.frontend.actions.ActionHandling.handle(ActionHandling.scala:48)</element>
+    <element>info.kwarc.mmt.api.frontend.actions.ActionHandling.handle$(ActionHandling.scala:37)</element>
+    <element>info.kwarc.mmt.api.frontend.Controller.handle(Controller.scala:74)</element>
+    <element>info.kwarc.mmt.api.frontend.actions.ActionHandling.handleLine(ActionHandling.scala:33)</element>
+    <element>info.kwarc.mmt.api.frontend.actions.ActionHandling.handleLine$(ActionHandling.scala:31)</element>
+    <element>info.kwarc.mmt.api.frontend.Controller.handleLine(Controller.scala:74)</element>
+    <element>info.kwarc.mmt.frameit.communication.server.playground.BuildFrameworld$.main(BuildFrameworld.scala:11)</element>
+    <element>info.kwarc.mmt.frameit.communication.server.playground.BuildFrameworld.main(BuildFrameworld.scala)</element>
   </stacktrace>
 </error>
 </errors>
diff --git a/narration/Scrolls/TriangleScrolls.omdoc b/narration/Scrolls/TriangleScrolls.omdoc
index 92f8e4a..fd782e5 100644
--- a/narration/Scrolls/TriangleScrolls.omdoc
+++ b/narration/Scrolls/TriangleScrolls.omdoc
@@ -1,5 +1,5 @@
 <?xml version="1.0" encoding="UTF-8"?>
-<omdoc base="http://mathhub.info/FrameIT/frameworld/Scrolls/TriangleScrolls.omdoc"><metadata><link rel="http://cds.omdoc.org/mmt?metadata?sourceRef" resource="http://mathhub.info/FrameIT/frameworld/Scrolls/TriangleScrolls.mmt#0.0.0:4946.141.3"/><meta property="http://cds.omdoc.org/?metadata?importedby"><om:OMOBJ xmlns:om="http://www.openmath.org/OpenMath"><om:OMLIT type="http://www.openmath.org/cd?OpenMath?OMSTR" value="mmt-omdoc"/></om:OMOBJ></meta></metadata><opaque format="text"><metadata><link rel="http://cds.omdoc.org/mmt?metadata?sourceRef" resource="http://mathhub.info/FrameIT/frameworld/Scrolls/TriangleScrolls.mmt#0.0.0:47.0.47"/></metadata>Modular scrolls having to do with triangles</opaque><instruction text="namespace http://mathhub.info/FrameIT/frameworld"/><instruction text="fixmeta http://mathhub.info/FrameIT/frameworld?FrameworldMeta"/><opaque format="text"><metadata><link rel="http://cds.omdoc.org/mmt?metadata?sourceRef" resource="http://mathhub.info/FrameIT/frameworld/Scrolls/TriangleScrolls.mmt#128.5.0:322.14.0"/></metadata>A blueprint problem theory for triangle scrolls
+<omdoc base="http://mathhub.info/FrameIT/frameworld/Scrolls/TriangleScrolls.omdoc"><metadata><link rel="http://cds.omdoc.org/mmt?metadata?sourceRef" resource="http://mathhub.info/FrameIT/frameworld/Scrolls/TriangleScrolls.mmt#0.0.0:4945.141.3"/><meta property="http://cds.omdoc.org/?metadata?importedby"><om:OMOBJ xmlns:om="http://www.openmath.org/OpenMath"><om:OMLIT type="http://www.openmath.org/cd?OpenMath?OMSTR" value="mmt-omdoc"/></om:OMOBJ></meta></metadata><opaque format="text"><metadata><link rel="http://cds.omdoc.org/mmt?metadata?sourceRef" resource="http://mathhub.info/FrameIT/frameworld/Scrolls/TriangleScrolls.mmt#0.0.0:47.0.47"/></metadata>Modular scrolls having to do with triangles</opaque><instruction text="namespace http://mathhub.info/FrameIT/frameworld"/><instruction text="fixmeta http://mathhub.info/FrameIT/frameworld?FrameworldMeta"/><opaque format="text"><metadata><link rel="http://cds.omdoc.org/mmt?metadata?sourceRef" resource="http://mathhub.info/FrameIT/frameworld/Scrolls/TriangleScrolls.mmt#128.5.0:322.14.0"/></metadata>A blueprint problem theory for triangle scrolls
        B
       /|
      / |
@@ -9,4 +9,4 @@
 
   (nicer image: https://en.wikipedia.org/wiki/Right_triangle#/media/File:Rtriangle.svg)</opaque><mref name="[http://mathhub.info/FrameIT/frameworld?TriangleProblem]" target="http://mathhub.info/FrameIT/frameworld?TriangleProblem"><metadata><link rel="http://cds.omdoc.org/mmt?metadata?sourceRef" resource="http://mathhub.info/FrameIT/frameworld/Scrolls/TriangleScrolls.mmt#324.15.0:345.15.21"/></metadata></mref><opaque format="text"><metadata><link rel="http://cds.omdoc.org/mmt?metadata?sourceRef" resource="http://mathhub.info/FrameIT/frameworld/Scrolls/TriangleScrolls.mmt#497.21.0:653.23.77"/></metadata>A blueprint problem theory for triangle scrolls that require a right angle
 
-   We use ?TriangleScroll_GeneralProblem and demand the angle at C to be 90°</opaque><mref name="[http://mathhub.info/FrameIT/frameworld?TriangleProblem_RightAngleAtC]" target="http://mathhub.info/FrameIT/frameworld?TriangleProblem_RightAngleAtC"><metadata><link rel="http://cds.omdoc.org/mmt?metadata?sourceRef" resource="http://mathhub.info/FrameIT/frameworld/Scrolls/TriangleScrolls.mmt#655.24.0:690.24.35"/></metadata></mref><mref name="[http://mathhub.info/FrameIT/frameworld?TriangleProblem_AngleAtA]" target="http://mathhub.info/FrameIT/frameworld?TriangleProblem_AngleAtA"><metadata><link rel="http://cds.omdoc.org/mmt?metadata?sourceRef" resource="http://mathhub.info/FrameIT/frameworld/Scrolls/TriangleScrolls.mmt#988.33.0:1018.33.30"/></metadata></mref><mref name="[http://mathhub.info/FrameIT/frameworld?TriangleProblem_AngleAtB]" target="http://mathhub.info/FrameIT/frameworld?TriangleProblem_AngleAtB"><metadata><link rel="http://cds.omdoc.org/mmt?metadata?sourceRef" resource="http://mathhub.info/FrameIT/frameworld/Scrolls/TriangleScrolls.mmt#1277.42.0:1307.42.30"/></metadata></mref><mref name="[http://mathhub.info/FrameIT/frameworld?AngleSum]" target="http://mathhub.info/FrameIT/frameworld?AngleSum"><metadata><link rel="http://cds.omdoc.org/mmt?metadata?sourceRef" resource="http://mathhub.info/FrameIT/frameworld/Scrolls/TriangleScrolls.mmt#1521.51.0:1535.51.14"/></metadata></mref><mref name="[http://mathhub.info/FrameIT/frameworld?OppositeLen]" target="http://mathhub.info/FrameIT/frameworld?OppositeLen"><metadata><link rel="http://cds.omdoc.org/mmt?metadata?sourceRef" resource="http://mathhub.info/FrameIT/frameworld/Scrolls/TriangleScrolls.mmt#2574.77.0:2591.77.17"/></metadata></mref></omdoc>
\ No newline at end of file
+   We use ?TriangleScroll_GeneralProblem and demand the angle at C to be 90°</opaque><mref name="[http://mathhub.info/FrameIT/frameworld?TriangleProblem_RightAngleAtC]" target="http://mathhub.info/FrameIT/frameworld?TriangleProblem_RightAngleAtC"><metadata><link rel="http://cds.omdoc.org/mmt?metadata?sourceRef" resource="http://mathhub.info/FrameIT/frameworld/Scrolls/TriangleScrolls.mmt#655.24.0:690.24.35"/></metadata></mref><mref name="[http://mathhub.info/FrameIT/frameworld?TriangleProblem_AngleAtA]" target="http://mathhub.info/FrameIT/frameworld?TriangleProblem_AngleAtA"><metadata><link rel="http://cds.omdoc.org/mmt?metadata?sourceRef" resource="http://mathhub.info/FrameIT/frameworld/Scrolls/TriangleScrolls.mmt#987.33.0:1017.33.30"/></metadata></mref><mref name="[http://mathhub.info/FrameIT/frameworld?TriangleProblem_AngleAtB]" target="http://mathhub.info/FrameIT/frameworld?TriangleProblem_AngleAtB"><metadata><link rel="http://cds.omdoc.org/mmt?metadata?sourceRef" resource="http://mathhub.info/FrameIT/frameworld/Scrolls/TriangleScrolls.mmt#1276.42.0:1306.42.30"/></metadata></mref><mref name="[http://mathhub.info/FrameIT/frameworld?AngleSum]" target="http://mathhub.info/FrameIT/frameworld?AngleSum"><metadata><link rel="http://cds.omdoc.org/mmt?metadata?sourceRef" resource="http://mathhub.info/FrameIT/frameworld/Scrolls/TriangleScrolls.mmt#1520.51.0:1534.51.14"/></metadata></mref><mref name="[http://mathhub.info/FrameIT/frameworld?OppositeLen]" target="http://mathhub.info/FrameIT/frameworld?OppositeLen"><metadata><link rel="http://cds.omdoc.org/mmt?metadata?sourceRef" resource="http://mathhub.info/FrameIT/frameworld/Scrolls/TriangleScrolls.mmt#2573.77.0:2590.77.17"/></metadata></mref></omdoc>
\ No newline at end of file
diff --git a/source/Scrolls/TriangleScrolls.mmt b/source/Scrolls/TriangleScrolls.mmt
index 7b48439..ba7b636 100644
--- a/source/Scrolls/TriangleScrolls.mmt
+++ b/source/Scrolls/TriangleScrolls.mmt
@@ -26,8 +26,8 @@ theory TriangleProblem_RightAngleAtC =
     include ?TriangleProblem ❙
     rightAngleC
         : ⊦ ( ∠ B,C,A ) ≐ 90.0 ❘
-        meta ?MetaAnnotations?label s"⊾${lverb C} (${lverb A C} ⟂ ${lverb B C})" ❘
-        meta ?MetaAnnotations?description s"Right angle at ${lverb C} as enclosed by legs ${lverb A C} and ${lverb B C}."
+        meta ?MetaAnnotations?label s"⊾${lverb C}" ❘
+        meta ?MetaAnnotations?description s"${lverb A C} ⟂ ${lverb B C}: right angle at ${lverb C} as enclosed by legs ${lverb A C} and ${lverb B C}."
     ❙
 ❚
 
-- 
GitLab