diff --git a/pictures/bool.svg b/pictures/bool.svg
deleted file mode 100644
index dafe65b..0000000
--- a/pictures/bool.svg
+++ /dev/null
@@ -1,10 +0,0 @@
-<?xml version='1.0' encoding='UTF-8'?>
-<!-- This file was generated by dvisvgm 1.15.1 -->
-<svg height='8.67349pt' version='1.1' viewBox='-0.239051 -0.246105 6.58917 8.67349' width='6.58917pt' xmlns='http://www.w3.org/2000/svg' xmlns:xlink='http://www.w3.org/1999/xlink'>
-<defs>
-<path d='M5.26027 -2.00847H4.99726C4.96139 -1.80523 4.86575 -1.1477 4.7462 -0.956413C4.66252 -0.848817 3.98107 -0.848817 3.62242 -0.848817H1.41071C1.7335 -1.12379 2.46276 -1.88892 2.7736 -2.17584C4.59078 -3.84956 5.26027 -4.47123 5.26027 -5.65479C5.26027 -7.02964 4.17235 -7.95019 2.78555 -7.95019S0.585803 -6.76663 0.585803 -5.73848C0.585803 -5.12877 1.11183 -5.12877 1.1477 -5.12877C1.39875 -5.12877 1.70959 -5.30809 1.70959 -5.69066C1.70959 -6.0254 1.48244 -6.25255 1.1477 -6.25255C1.0401 -6.25255 1.01619 -6.25255 0.980324 -6.2406C1.20747 -7.05355 1.85305 -7.60349 2.63014 -7.60349C3.64633 -7.60349 4.268 -6.75467 4.268 -5.65479C4.268 -4.63861 3.68219 -3.75392 3.00075 -2.98879L0.585803 -0.286924V0H4.94944L5.26027 -2.00847Z' id='g0-50'/>
-</defs>
-<g id='page1' transform='matrix(1.13 0 0 1.13 -63.986 -65.874)'>
-<use x='56.4133' xlink:href='#g0-50' y='65.7534'/>
-</g>
-</svg>
diff --git a/pictures/gen-circle.svg b/pictures/gen-circle.svg
deleted file mode 100644
index fd8fda6..0000000
--- a/pictures/gen-circle.svg
+++ /dev/null
@@ -1,14 +0,0 @@
-<?xml version='1.0' encoding='UTF-8'?>
-<!-- This file was generated by dvisvgm 1.15.1 -->
-<svg height='13.4589pt' version='1.1' viewBox='-0.239051 -0.240777 21.9523 13.4589' width='21.9523pt' xmlns='http://www.w3.org/2000/svg' xmlns:xlink='http://www.w3.org/1999/xlink'>
-<defs>
-<path d='M3.38331 -7.37634C3.38331 -7.85455 3.69415 -8.61968 4.99726 -8.70336C5.05704 -8.71532 5.10486 -8.76314 5.10486 -8.83487C5.10486 -8.96638 5.00922 -8.96638 4.87771 -8.96638C3.68219 -8.96638 2.59427 -8.35666 2.58232 -7.47198V-4.7462C2.58232 -4.27995 2.58232 -3.89738 2.10411 -3.50286C1.68568 -3.15616 1.23138 -3.13225 0.968369 -3.1203C0.908593 -3.10834 0.860772 -3.06052 0.860772 -2.98879C0.860772 -2.86924 0.932503 -2.86924 1.05205 -2.85729C1.8411 -2.80946 2.41494 -2.37908 2.54645 -1.79328C2.58232 -1.66177 2.58232 -1.63786 2.58232 -1.20747V1.15965C2.58232 1.66177 2.58232 2.04433 3.15616 2.49863C3.62242 2.85729 4.41146 2.98879 4.87771 2.98879C5.00922 2.98879 5.10486 2.98879 5.10486 2.85729C5.10486 2.73773 5.03313 2.73773 4.91357 2.72578C4.1604 2.67796 3.5746 2.29539 3.41918 1.68568C3.38331 1.57808 3.38331 1.55417 3.38331 1.12379V-1.3868C3.38331 -1.93674 3.28767 -2.13998 2.90511 -2.52254C2.65405 -2.7736 2.30735 -2.89315 1.9726 -2.98879C2.95293 -3.26376 3.38331 -3.8137 3.38331 -4.5071V-7.37634Z' id='g0-102'/>
-<path d='M2.58232 1.39875C2.58232 1.87696 2.27148 2.64209 0.968369 2.72578C0.908593 2.73773 0.860772 2.78555 0.860772 2.85729C0.860772 2.98879 0.992279 2.98879 1.09988 2.98879C2.25953 2.98879 3.37136 2.40299 3.38331 1.4944V-1.23138C3.38331 -1.69763 3.38331 -2.0802 3.86152 -2.47472C4.27995 -2.82142 4.73425 -2.84533 4.99726 -2.85729C5.05704 -2.86924 5.10486 -2.91706 5.10486 -2.98879C5.10486 -3.10834 5.03313 -3.10834 4.91357 -3.1203C4.12453 -3.16812 3.55068 -3.59851 3.41918 -4.18431C3.38331 -4.31582 3.38331 -4.33973 3.38331 -4.77011V-7.13724C3.38331 -7.63935 3.38331 -8.02192 2.80946 -8.47621C2.33126 -8.84682 1.50635 -8.96638 1.09988 -8.96638C0.992279 -8.96638 0.860772 -8.96638 0.860772 -8.83487C0.860772 -8.71532 0.932503 -8.71532 1.05205 -8.70336C1.80523 -8.65554 2.39103 -8.27298 2.54645 -7.66326C2.58232 -7.55567 2.58232 -7.53176 2.58232 -7.10137V-4.59078C2.58232 -4.04085 2.67796 -3.83761 3.06052 -3.45504C3.31158 -3.20399 3.65828 -3.08443 3.99303 -2.98879C3.0127 -2.71382 2.58232 -2.16389 2.58232 -1.47049V1.39875Z' id='g0-103'/>
-<path d='M5.53524 -3.02466C5.53524 -4.18431 4.87771 -5.27223 3.61046 -5.27223C2.04433 -5.27223 0.478207 -3.56264 0.478207 -1.86501C0.478207 -0.824907 1.12379 0.119552 2.34321 0.119552C3.08443 0.119552 3.96912 -0.167372 4.81793 -0.884682C4.98531 -0.215193 5.35592 0.119552 5.86999 0.119552C6.51557 0.119552 6.83836 -0.549938 6.83836 -0.705355C6.83836 -0.812951 6.75467 -0.812951 6.7188 -0.812951C6.62316 -0.812951 6.61121 -0.777086 6.57534 -0.681445C6.46775 -0.382565 6.19278 -0.119552 5.90585 -0.119552C5.53524 -0.119552 5.53524 -0.884682 5.53524 -1.61395C6.75467 -3.07248 7.04159 -4.57883 7.04159 -4.59078C7.04159 -4.69838 6.94595 -4.69838 6.91009 -4.69838C6.80249 -4.69838 6.79054 -4.66252 6.74271 -4.44732C6.5873 -3.9213 6.27646 -2.98879 5.53524 -2.00847V-3.02466ZM4.78207 -1.17161C3.73001 -0.227148 2.78555 -0.119552 2.36712 -0.119552C1.51831 -0.119552 1.2792 -0.872727 1.2792 -1.43462C1.2792 -1.94869 1.54222 -3.16812 1.91283 -3.82565C2.40299 -4.66252 3.07248 -5.03313 3.61046 -5.03313C4.77011 -5.03313 4.77011 -3.51482 4.77011 -2.51059C4.77011 -2.21171 4.75816 -1.90087 4.75816 -1.60199C4.75816 -1.36289 4.77011 -1.30311 4.78207 -1.17161Z' id='g1-11'/>
-</defs>
-<g id='page1' transform='matrix(1.13 0 0 1.13 -63.986 -64.448)'>
-<use x='56.4133' xlink:href='#g0-102' y='65.7534'/>
-<use x='62.3909' xlink:href='#g1-11' y='65.7534'/>
-<use x='69.8848' xlink:href='#g0-103' y='65.7534'/>
-</g>
-</svg>
diff --git a/pictures/interval.svg b/pictures/interval.svg
deleted file mode 100644
index abd8ebc..0000000
--- a/pictures/interval.svg
+++ /dev/null
@@ -1,10 +0,0 @@
-<?xml version='1.0' encoding='UTF-8'?>
-<!-- This file was generated by dvisvgm 1.15.1 -->
-<svg height='9.19689pt' version='1.1' viewBox='-0.239051 -0.244142 6.87038 9.19689' width='6.87038pt' xmlns='http://www.w3.org/2000/svg' xmlns:xlink='http://www.w3.org/1999/xlink'>
-<defs>
-<path d='M4.3995 -7.2807C4.5071 -7.69913 4.53101 -7.81868 5.40374 -7.81868C5.66675 -7.81868 5.76239 -7.81868 5.76239 -8.04583C5.76239 -8.16538 5.63088 -8.16538 5.59502 -8.16538C5.37983 -8.16538 5.11681 -8.14147 4.90162 -8.14147H3.43113C3.19203 -8.14147 2.91706 -8.16538 2.67796 -8.16538C2.58232 -8.16538 2.45081 -8.16538 2.45081 -7.93823C2.45081 -7.81868 2.54645 -7.81868 2.78555 -7.81868C3.52677 -7.81868 3.52677 -7.72304 3.52677 -7.59153C3.52677 -7.50785 3.50286 -7.43611 3.47895 -7.32852L1.86501 -0.884682C1.75741 -0.466252 1.7335 -0.3467 0.860772 -0.3467C0.597758 -0.3467 0.490162 -0.3467 0.490162 -0.119552C0.490162 0 0.609714 0 0.669489 0C0.884682 0 1.1477 -0.0239103 1.36289 -0.0239103H2.83337C3.07248 -0.0239103 3.33549 0 3.5746 0C3.67024 0 3.8137 0 3.8137 -0.215193C3.8137 -0.3467 3.74197 -0.3467 3.47895 -0.3467C2.73773 -0.3467 2.73773 -0.442341 2.73773 -0.585803C2.73773 -0.609714 2.73773 -0.669489 2.78555 -0.860772L4.3995 -7.2807Z' id='g0-73'/>
-</defs>
-<g id='page1' transform='matrix(1.13 0 0 1.13 -63.986 -65.3486)'>
-<use x='56.4133' xlink:href='#g0-73' y='65.7534'/>
-</g>
-</svg>
diff --git a/pictures/join.svg b/pictures/join.svg
deleted file mode 100644
index e135aa4..0000000
--- a/pictures/join.svg
+++ /dev/null
@@ -1,14 +0,0 @@
-<?xml version='1.0' encoding='UTF-8'?>
-<!-- This file was generated by dvisvgm 1.15.1 -->
-<svg height='11.9634pt' version='1.1' viewBox='-0.239051 -0.243581 29.3875 11.9634' width='29.3875pt' xmlns='http://www.w3.org/2000/svg' xmlns:xlink='http://www.w3.org/1999/xlink'>
-<defs>
-<path d='M3.28767 -5.10486C3.29963 -5.27223 3.29963 -5.55915 2.98879 -5.55915C2.79751 -5.55915 2.64209 -5.40374 2.67796 -5.24832V-5.0929L2.84533 -3.23985L1.31507 -4.35168C1.20747 -4.41146 1.18356 -4.43537 1.09988 -4.43537C0.932503 -4.43537 0.777086 -4.268 0.777086 -4.10062C0.777086 -3.90934 0.896638 -3.86152 1.01619 -3.80174L2.71382 -2.98879L1.06401 -2.1878C0.872727 -2.09215 0.777086 -2.04433 0.777086 -1.86501S0.932503 -1.53026 1.09988 -1.53026C1.18356 -1.53026 1.20747 -1.53026 1.50635 -1.75741L2.84533 -2.72578L2.666 -0.71731C2.666 -0.466252 2.8812 -0.406476 2.97684 -0.406476C3.1203 -0.406476 3.29963 -0.490162 3.29963 -0.71731L3.1203 -2.72578L4.65056 -1.61395C4.75816 -1.55417 4.78207 -1.53026 4.86575 -1.53026C5.03313 -1.53026 5.18854 -1.69763 5.18854 -1.86501C5.18854 -2.04433 5.08095 -2.10411 4.93748 -2.17584C4.22017 -2.5345 4.19626 -2.5345 3.25181 -2.97684L4.90162 -3.77783C5.0929 -3.87347 5.18854 -3.9213 5.18854 -4.10062S5.03313 -4.43537 4.86575 -4.43537C4.78207 -4.43537 4.75816 -4.43537 4.45928 -4.20822L3.1203 -3.23985L3.28767 -5.10486Z' id='g0-3'/>
-<path d='M5.53524 -3.02466C5.53524 -4.18431 4.87771 -5.27223 3.61046 -5.27223C2.04433 -5.27223 0.478207 -3.56264 0.478207 -1.86501C0.478207 -0.824907 1.12379 0.119552 2.34321 0.119552C3.08443 0.119552 3.96912 -0.167372 4.81793 -0.884682C4.98531 -0.215193 5.35592 0.119552 5.86999 0.119552C6.51557 0.119552 6.83836 -0.549938 6.83836 -0.705355C6.83836 -0.812951 6.75467 -0.812951 6.7188 -0.812951C6.62316 -0.812951 6.61121 -0.777086 6.57534 -0.681445C6.46775 -0.382565 6.19278 -0.119552 5.90585 -0.119552C5.53524 -0.119552 5.53524 -0.884682 5.53524 -1.61395C6.75467 -3.07248 7.04159 -4.57883 7.04159 -4.59078C7.04159 -4.69838 6.94595 -4.69838 6.91009 -4.69838C6.80249 -4.69838 6.79054 -4.66252 6.74271 -4.44732C6.5873 -3.9213 6.27646 -2.98879 5.53524 -2.00847V-3.02466ZM4.78207 -1.17161C3.73001 -0.227148 2.78555 -0.119552 2.36712 -0.119552C1.51831 -0.119552 1.2792 -0.872727 1.2792 -1.43462C1.2792 -1.94869 1.54222 -3.16812 1.91283 -3.82565C2.40299 -4.66252 3.07248 -5.03313 3.61046 -5.03313C4.77011 -5.03313 4.77011 -3.51482 4.77011 -2.51059C4.77011 -2.21171 4.75816 -1.90087 4.75816 -1.60199C4.75816 -1.36289 4.77011 -1.30311 4.78207 -1.17161Z' id='g1-11'/>
-<path d='M6.76663 -6.95791C6.76663 -7.67522 6.15691 -8.42839 5.06899 -8.42839C3.52677 -8.42839 2.54645 -6.53948 2.23562 -5.29614L0.3467 2.19975C0.32279 2.29539 0.394521 2.3193 0.454296 2.3193C0.537983 2.3193 0.597758 2.30735 0.609714 2.24757L1.44658 -1.09988C1.56613 -0.430386 2.22366 0.119552 2.92902 0.119552C4.63861 0.119552 6.25255 -1.21943 6.25255 -3.00075C6.25255 -3.45504 6.14496 -3.90934 5.8939 -4.29191C5.75044 -4.51905 5.57111 -4.68643 5.37983 -4.82989C6.2406 -5.28418 6.76663 -6.01345 6.76663 -6.95791ZM4.68643 -4.84184C4.49514 -4.77011 4.30386 -4.7462 4.07671 -4.7462C3.90934 -4.7462 3.75392 -4.73425 3.53873 -4.80598C3.65828 -4.88966 3.83761 -4.91357 4.08867 -4.91357C4.30386 -4.91357 4.51905 -4.88966 4.68643 -4.84184ZM6.14496 -7.0655C6.14496 -6.40797 5.82217 -5.45156 5.04508 -5.00922C4.81793 -5.0929 4.5071 -5.15268 4.24408 -5.15268C3.99303 -5.15268 3.27572 -5.17659 3.27572 -4.79402C3.27572 -4.47123 3.93325 -4.5071 4.13649 -4.5071C4.44732 -4.5071 4.72229 -4.57883 5.00922 -4.66252C5.39178 -4.35168 5.55915 -3.94521 5.55915 -3.34745C5.55915 -2.65405 5.36787 -2.09215 5.14072 -1.57808C4.7462 -0.6934 3.8137 -0.119552 2.98879 -0.119552C2.11606 -0.119552 1.66177 -0.812951 1.66177 -1.6259C1.66177 -1.7335 1.66177 -1.88892 1.70959 -2.06824L2.48667 -5.21245C2.8812 -6.77858 3.88543 -8.18929 5.04508 -8.18929C5.90585 -8.18929 6.14496 -7.59153 6.14496 -7.0655Z' id='g1-12'/>
-</defs>
-<g id='page1' transform='matrix(1.13 0 0 1.13 -63.986 -65.1985)'>
-<use x='56.4133' xlink:href='#g1-11' y='65.7534'/>
-<use x='66.5638' xlink:href='#g0-3' y='65.7534'/>
-<use x='75.1758' xlink:href='#g1-12' y='65.7534'/>
-</g>
-</svg>
diff --git a/pictures/n-simplex.svg b/pictures/n-simplex.svg
deleted file mode 100644
index a14ac13..0000000
--- a/pictures/n-simplex.svg
+++ /dev/null
@@ -1,12 +0,0 @@
-<?xml version='1.0' encoding='UTF-8'?>
-<!-- This file was generated by dvisvgm 1.15.1 -->
-<svg height='9.44108pt' version='1.1' viewBox='-0.239051 -0.243226 16.7664 9.44108' width='16.7664pt' xmlns='http://www.w3.org/2000/svg' xmlns:xlink='http://www.w3.org/1999/xlink'>
-<defs>
-<path d='M1.59402 -1.3071C1.61793 -1.42665 1.69763 -1.72951 1.72154 -1.84907C1.83313 -2.27945 1.83313 -2.28742 2.01644 -2.55044C2.27945 -2.94097 2.65405 -3.29166 3.18804 -3.29166C3.47497 -3.29166 3.64234 -3.12428 3.64234 -2.74969C3.64234 -2.31133 3.3076 -1.40274 3.15616 -1.0122C3.05255 -0.749191 3.05255 -0.70137 3.05255 -0.597758C3.05255 -0.143462 3.42715 0.0797011 3.76986 0.0797011C4.55093 0.0797011 4.87771 -1.03611 4.87771 -1.13973C4.87771 -1.21943 4.81395 -1.24334 4.75816 -1.24334C4.66252 -1.24334 4.64658 -1.18755 4.62267 -1.10785C4.43138 -0.454296 4.09664 -0.143462 3.79377 -0.143462C3.66625 -0.143462 3.60249 -0.223163 3.60249 -0.406476S3.66625 -0.765131 3.74595 -0.964384C3.8655 -1.26725 4.21619 -2.18381 4.21619 -2.63014C4.21619 -3.2279 3.80174 -3.51482 3.2279 -3.51482C2.58232 -3.51482 2.16787 -3.12428 1.93674 -2.82142C1.88095 -3.25978 1.53026 -3.51482 1.12379 -3.51482C0.836862 -3.51482 0.637609 -3.33151 0.510087 -3.08443C0.318804 -2.70984 0.239103 -2.31133 0.239103 -2.29539C0.239103 -2.22366 0.294894 -2.19178 0.358655 -2.19178C0.462267 -2.19178 0.470237 -2.22366 0.526027 -2.43088C0.621669 -2.82142 0.765131 -3.29166 1.09988 -3.29166C1.3071 -3.29166 1.35492 -3.0924 1.35492 -2.91706C1.35492 -2.7736 1.31507 -2.62217 1.25131 -2.35915C1.23537 -2.29539 1.11582 -1.82516 1.08394 -1.71357L0.789041 -0.518057C0.757161 -0.398506 0.70934 -0.199253 0.70934 -0.167372C0.70934 0.0159402 0.860772 0.0797011 0.964384 0.0797011C1.10785 0.0797011 1.2274 -0.0159402 1.28319 -0.111582C1.3071 -0.159402 1.37086 -0.430386 1.41071 -0.597758L1.59402 -1.3071Z' id='g0-110'/>
-<path d='M5.15268 -8.3208C5.06899 -8.48817 5.04508 -8.53599 4.87771 -8.53599C4.69838 -8.53599 4.67447 -8.48817 4.59078 -8.3208L0.597758 -0.239103C0.573848 -0.203238 0.549938 -0.131507 0.549938 -0.0836862C0.549938 -0.0119552 0.561893 0 0.800996 0H8.94247C9.18157 0 9.19352 -0.0119552 9.19352 -0.0836862C9.19352 -0.131507 9.16961 -0.203238 9.1457 -0.239103L5.15268 -8.3208ZM4.5071 -7.43611L7.77086 -0.824907H1.25529L4.5071 -7.43611Z' id='g1-1'/>
-</defs>
-<g id='page1' transform='matrix(1.13 0 0 1.13 -63.986 -65.1035)'>
-<use x='56.4133' xlink:href='#g1-1' y='65.7534'/>
-<use x='66.1318' xlink:href='#g0-110' y='60.8172'/>
-</g>
-</svg>
diff --git a/pictures/path.svg b/pictures/path.svg
deleted file mode 100644
index 0325447..0000000
--- a/pictures/path.svg
+++ /dev/null
@@ -1,14 +0,0 @@
-<?xml version='1.0' encoding='UTF-8'?>
-<!-- This file was generated by dvisvgm 1.15.1 -->
-<svg height='9.19689pt' version='1.1' viewBox='-0.239051 -0.244142 36.3061 9.19689' width='36.3061pt' xmlns='http://www.w3.org/2000/svg' xmlns:xlink='http://www.w3.org/1999/xlink'>
-<defs>
-<path d='M9.97061 -2.74969C9.31308 -2.24757 8.99029 -1.75741 8.89465 -1.60199C8.35666 -0.777086 8.26102 -0.0239103 8.26102 -0.0119552C8.26102 0.131507 8.40448 0.131507 8.50012 0.131507C8.70336 0.131507 8.71532 0.107597 8.76314 -0.107597C9.03811 -1.2792 9.74346 -2.28344 11.0944 -2.83337C11.2379 -2.8812 11.2737 -2.90511 11.2737 -2.98879S11.202 -3.10834 11.1781 -3.1203C10.6521 -3.32354 9.20548 -3.9213 8.75118 -5.92976C8.71532 -6.07323 8.70336 -6.10909 8.50012 -6.10909C8.40448 -6.10909 8.26102 -6.10909 8.26102 -5.96563C8.26102 -5.94172 8.36862 -5.18854 8.87073 -4.38755C9.10984 -4.02889 9.45654 -3.61046 9.97061 -3.2279H1.08792C0.872727 -3.2279 0.657534 -3.2279 0.657534 -2.98879S0.872727 -2.74969 1.08792 -2.74969H9.97061Z' id='g0-33'/>
-<path d='M5.53524 -3.02466C5.53524 -4.18431 4.87771 -5.27223 3.61046 -5.27223C2.04433 -5.27223 0.478207 -3.56264 0.478207 -1.86501C0.478207 -0.824907 1.12379 0.119552 2.34321 0.119552C3.08443 0.119552 3.96912 -0.167372 4.81793 -0.884682C4.98531 -0.215193 5.35592 0.119552 5.86999 0.119552C6.51557 0.119552 6.83836 -0.549938 6.83836 -0.705355C6.83836 -0.812951 6.75467 -0.812951 6.7188 -0.812951C6.62316 -0.812951 6.61121 -0.777086 6.57534 -0.681445C6.46775 -0.382565 6.19278 -0.119552 5.90585 -0.119552C5.53524 -0.119552 5.53524 -0.884682 5.53524 -1.61395C6.75467 -3.07248 7.04159 -4.57883 7.04159 -4.59078C7.04159 -4.69838 6.94595 -4.69838 6.91009 -4.69838C6.80249 -4.69838 6.79054 -4.66252 6.74271 -4.44732C6.5873 -3.9213 6.27646 -2.98879 5.53524 -2.00847V-3.02466ZM4.78207 -1.17161C3.73001 -0.227148 2.78555 -0.119552 2.36712 -0.119552C1.51831 -0.119552 1.2792 -0.872727 1.2792 -1.43462C1.2792 -1.94869 1.54222 -3.16812 1.91283 -3.82565C2.40299 -4.66252 3.07248 -5.03313 3.61046 -5.03313C4.77011 -5.03313 4.77011 -3.51482 4.77011 -2.51059C4.77011 -2.21171 4.75816 -1.90087 4.75816 -1.60199C4.75816 -1.36289 4.77011 -1.30311 4.78207 -1.17161Z' id='g1-11'/>
-<path d='M4.3995 -7.2807C4.5071 -7.69913 4.53101 -7.81868 5.40374 -7.81868C5.66675 -7.81868 5.76239 -7.81868 5.76239 -8.04583C5.76239 -8.16538 5.63088 -8.16538 5.59502 -8.16538C5.37983 -8.16538 5.11681 -8.14147 4.90162 -8.14147H3.43113C3.19203 -8.14147 2.91706 -8.16538 2.67796 -8.16538C2.58232 -8.16538 2.45081 -8.16538 2.45081 -7.93823C2.45081 -7.81868 2.54645 -7.81868 2.78555 -7.81868C3.52677 -7.81868 3.52677 -7.72304 3.52677 -7.59153C3.52677 -7.50785 3.50286 -7.43611 3.47895 -7.32852L1.86501 -0.884682C1.75741 -0.466252 1.7335 -0.3467 0.860772 -0.3467C0.597758 -0.3467 0.490162 -0.3467 0.490162 -0.119552C0.490162 0 0.609714 0 0.669489 0C0.884682 0 1.1477 -0.0239103 1.36289 -0.0239103H2.83337C3.07248 -0.0239103 3.33549 0 3.5746 0C3.67024 0 3.8137 0 3.8137 -0.215193C3.8137 -0.3467 3.74197 -0.3467 3.47895 -0.3467C2.73773 -0.3467 2.73773 -0.442341 2.73773 -0.585803C2.73773 -0.609714 2.73773 -0.669489 2.78555 -0.860772L4.3995 -7.2807Z' id='g1-73'/>
-</defs>
-<g id='page1' transform='matrix(1.13 0 0 1.13 -63.986 -65.3486)'>
-<use x='56.4133' xlink:href='#g1-73' y='65.7534'/>
-<use x='65.8176' xlink:href='#g0-33' y='65.7534'/>
-<use x='81.049' xlink:href='#g1-11' y='65.7534'/>
-</g>
-</svg>
diff --git a/pictures/prop-truncation-seq-colimit.svg b/pictures/prop-truncation-seq-colimit.svg
deleted file mode 100644
index 4eec5eb..0000000
--- a/pictures/prop-truncation-seq-colimit.svg
+++ /dev/null
@@ -1,28 +0,0 @@
-<?xml version='1.0' encoding='UTF-8'?>
-<!-- This file was generated by dvisvgm 1.15.1 -->
-<svg height='16.1506pt' version='1.1' viewBox='-0.239051 -0.233207 167.843 16.1506' width='167.843pt' xmlns='http://www.w3.org/2000/svg' xmlns:xlink='http://www.w3.org/1999/xlink'>
-<defs>
-<path d='M11.9647 -3.29963C11.1757 -2.69708 10.7883 -2.10889 10.6736 -1.92239C10.028 -0.932503 9.91322 -0.0286924 9.91322 -0.0143462C9.91322 0.157808 10.0854 0.157808 10.2001 0.157808C10.444 0.157808 10.4584 0.129116 10.5158 -0.129116C10.8457 -1.53504 11.6921 -2.74012 13.3133 -3.40005C13.4854 -3.45743 13.5285 -3.48613 13.5285 -3.58655S13.4424 -3.73001 13.4137 -3.74436C12.7825 -3.98824 11.0466 -4.70555 10.5014 -7.11571C10.4584 -7.28787 10.444 -7.33091 10.2001 -7.33091C10.0854 -7.33091 9.91322 -7.33091 9.91322 -7.15875C9.91322 -7.13006 10.0423 -6.22625 10.6449 -5.26505C10.9318 -4.83467 11.3478 -4.33255 11.9647 -3.87347H1.3055C1.04727 -3.87347 0.789041 -3.87347 0.789041 -3.58655S1.04727 -3.29963 1.3055 -3.29963H11.9647Z' id='g0-33'/>
-<path d='M4.05997 -8.8516C4.05997 -9.42545 4.43297 -10.3436 5.99671 -10.444C6.06844 -10.4584 6.12583 -10.5158 6.12583 -10.6018C6.12583 -10.7596 6.01106 -10.7596 5.85325 -10.7596C4.41863 -10.7596 3.11312 -10.028 3.09878 -8.96637V-5.69544C3.09878 -5.13594 3.09878 -4.67686 2.52493 -4.20344C2.02281 -3.7874 1.47766 -3.7587 1.16204 -3.74436C1.09031 -3.73001 1.03293 -3.67263 1.03293 -3.58655C1.03293 -3.44309 1.119 -3.44309 1.26247 -3.42874C2.20931 -3.37136 2.89793 -2.85489 3.05574 -2.15193C3.09878 -1.99412 3.09878 -1.96543 3.09878 -1.44897V1.39158C3.09878 1.99412 3.09878 2.4532 3.7874 2.99835C4.3469 3.42874 5.29375 3.58655 5.85325 3.58655C6.01106 3.58655 6.12583 3.58655 6.12583 3.42874C6.12583 3.28528 6.03975 3.28528 5.89629 3.27093C4.99248 3.21355 4.28951 2.75447 4.10301 2.02281C4.05997 1.8937 4.05997 1.86501 4.05997 1.34854V-1.66416C4.05997 -2.32408 3.9452 -2.56797 3.48613 -3.02705C3.18486 -3.32832 2.76882 -3.47178 2.36712 -3.58655C3.54351 -3.91651 4.05997 -4.57644 4.05997 -5.40852V-8.8516Z' id='g0-102'/>
-<path d='M3.09878 1.6785C3.09878 2.25235 2.72578 3.17051 1.16204 3.27093C1.09031 3.28528 1.03293 3.34266 1.03293 3.42874C1.03293 3.58655 1.19073 3.58655 1.31985 3.58655C2.71143 3.58655 4.04563 2.88359 4.05997 1.79327V-1.47766C4.05997 -2.03716 4.05997 -2.49624 4.63382 -2.96966C5.13594 -3.3857 5.68109 -3.41439 5.99671 -3.42874C6.06844 -3.44309 6.12583 -3.50047 6.12583 -3.58655C6.12583 -3.73001 6.03975 -3.73001 5.89629 -3.74436C4.94944 -3.80174 4.26082 -4.3182 4.10301 -5.02117C4.05997 -5.17898 4.05997 -5.20767 4.05997 -5.72413V-8.56468C4.05997 -9.16722 4.05997 -9.6263 3.37136 -10.1715C2.79751 -10.6162 1.80762 -10.7596 1.31985 -10.7596C1.19073 -10.7596 1.03293 -10.7596 1.03293 -10.6018C1.03293 -10.4584 1.119 -10.4584 1.26247 -10.444C2.16628 -10.3866 2.86924 -9.92757 3.05574 -9.19591C3.09878 -9.0668 3.09878 -9.0381 3.09878 -8.52164V-5.50894C3.09878 -4.84901 3.21355 -4.60513 3.67263 -4.14605C3.9739 -3.84478 4.38994 -3.70132 4.79163 -3.58655C3.61524 -3.25659 3.09878 -2.59666 3.09878 -1.76458V1.6785Z' id='g0-103'/>
-<path d='M6.64229 -3.62959C6.64229 -5.02117 5.85325 -6.32667 4.33255 -6.32667C2.4532 -6.32667 0.573848 -4.27517 0.573848 -2.23801C0.573848 -0.989888 1.34854 0.143462 2.81185 0.143462C3.70132 0.143462 4.76294 -0.200847 5.78152 -1.06162C5.98236 -0.258232 6.4271 0.143462 7.04398 0.143462C7.81868 0.143462 8.20602 -0.659925 8.20602 -0.846426C8.20602 -0.975541 8.1056 -0.975541 8.06256 -0.975541C7.94779 -0.975541 7.93345 -0.932503 7.89041 -0.817733C7.76129 -0.459078 7.43133 -0.143462 7.08702 -0.143462C6.64229 -0.143462 6.64229 -1.06162 6.64229 -1.93674C8.1056 -3.68697 8.44991 -5.49459 8.44991 -5.50894C8.44991 -5.63805 8.33514 -5.63805 8.2921 -5.63805C8.16299 -5.63805 8.14864 -5.59502 8.09125 -5.33678C7.90475 -4.70555 7.53175 -3.58655 6.64229 -2.41016V-3.62959ZM5.73848 -1.40593C4.47601 -0.272578 3.34266 -0.143462 2.84055 -0.143462C1.82197 -0.143462 1.53504 -1.04727 1.53504 -1.72154C1.53504 -2.33843 1.85066 -3.80174 2.29539 -4.59078C2.88359 -5.59502 3.68697 -6.03975 4.33255 -6.03975C5.72413 -6.03975 5.72413 -4.21778 5.72413 -3.0127C5.72413 -2.65405 5.70979 -2.28105 5.70979 -1.92239C5.70979 -1.63547 5.72413 -1.56374 5.73848 -1.40593Z' id='g1-11'/>
-<path d='M2.6397 -0.688617C2.6397 -1.10466 2.29539 -1.39158 1.95108 -1.39158C1.53504 -1.39158 1.24812 -1.04727 1.24812 -0.702964C1.24812 -0.286924 1.59243 0 1.93674 0C2.35278 0 2.6397 -0.344309 2.6397 -0.688617Z' id='g1-58'/>
-</defs>
-<g id='page1' transform='matrix(1.13 0 0 1.13 -63.986 -62.4216)'>
-<use x='56.4133' xlink:href='#g1-11' y='65.7534'/>
-<use x='69.3909' xlink:href='#g0-33' y='65.7534'/>
-<use x='87.6686' xlink:href='#g0-102' y='65.7534'/>
-<use x='94.8417' xlink:href='#g1-11' y='65.7534'/>
-<use x='103.834' xlink:href='#g0-103' y='65.7534'/>
-<use x='115.026' xlink:href='#g0-33' y='65.7534'/>
-<use x='133.303' xlink:href='#g0-102' y='65.7534'/>
-<use x='140.477' xlink:href='#g0-102' y='65.7534'/>
-<use x='147.65' xlink:href='#g1-11' y='65.7534'/>
-<use x='156.642' xlink:href='#g0-103' y='65.7534'/>
-<use x='163.849' xlink:href='#g0-103' y='65.7534'/>
-<use x='175.007' xlink:href='#g0-33' y='65.7534'/>
-<use x='193.285' xlink:href='#g1-58' y='65.7534'/>
-<use x='197.172' xlink:href='#g1-58' y='65.7534'/>
-<use x='201.059' xlink:href='#g1-58' y='65.7534'/>
-</g>
-</svg>
diff --git a/pictures/pushout.svg b/pictures/pushout.svg
deleted file mode 100644
index 0060bbf..0000000
--- a/pictures/pushout.svg
+++ /dev/null
@@ -1,16 +0,0 @@
-<?xml version='1.0' encoding='UTF-8'?>
-<!-- This file was generated by dvisvgm 1.15.1 -->
-<svg height='12.0581pt' version='1.1' viewBox='-0.239051 -0.243226 37.9851 12.0581' width='37.9851pt' xmlns='http://www.w3.org/2000/svg' xmlns:xlink='http://www.w3.org/1999/xlink'>
-<defs>
-<path d='M7.23288 -6.7188C7.23288 -6.934 7.23288 -7.14919 6.99377 -7.14919S6.75467 -6.934 6.75467 -6.7188V-0.478207H1.20747V-6.7188C1.20747 -6.934 1.20747 -7.14919 0.968369 -7.14919S0.729265 -6.934 0.729265 -6.7188V-0.430386C0.729265 -0.0478207 0.777086 0 1.15965 0H6.80249C7.19701 0 7.23288 -0.0358655 7.23288 -0.430386V-6.7188Z' id='g0-116'/>
-<path d='M5.53524 -3.02466C5.53524 -4.18431 4.87771 -5.27223 3.61046 -5.27223C2.04433 -5.27223 0.478207 -3.56264 0.478207 -1.86501C0.478207 -0.824907 1.12379 0.119552 2.34321 0.119552C3.08443 0.119552 3.96912 -0.167372 4.81793 -0.884682C4.98531 -0.215193 5.35592 0.119552 5.86999 0.119552C6.51557 0.119552 6.83836 -0.549938 6.83836 -0.705355C6.83836 -0.812951 6.75467 -0.812951 6.7188 -0.812951C6.62316 -0.812951 6.61121 -0.777086 6.57534 -0.681445C6.46775 -0.382565 6.19278 -0.119552 5.90585 -0.119552C5.53524 -0.119552 5.53524 -0.884682 5.53524 -1.61395C6.75467 -3.07248 7.04159 -4.57883 7.04159 -4.59078C7.04159 -4.69838 6.94595 -4.69838 6.91009 -4.69838C6.80249 -4.69838 6.79054 -4.66252 6.74271 -4.44732C6.5873 -3.9213 6.27646 -2.98879 5.53524 -2.00847V-3.02466ZM4.78207 -1.17161C3.73001 -0.227148 2.78555 -0.119552 2.36712 -0.119552C1.51831 -0.119552 1.2792 -0.872727 1.2792 -1.43462C1.2792 -1.94869 1.54222 -3.16812 1.91283 -3.82565C2.40299 -4.66252 3.07248 -5.03313 3.61046 -5.03313C4.77011 -5.03313 4.77011 -3.51482 4.77011 -2.51059C4.77011 -2.21171 4.75816 -1.90087 4.75816 -1.60199C4.75816 -1.36289 4.77011 -1.30311 4.78207 -1.17161Z' id='g2-11'/>
-<path d='M6.76663 -6.95791C6.76663 -7.67522 6.15691 -8.42839 5.06899 -8.42839C3.52677 -8.42839 2.54645 -6.53948 2.23562 -5.29614L0.3467 2.19975C0.32279 2.29539 0.394521 2.3193 0.454296 2.3193C0.537983 2.3193 0.597758 2.30735 0.609714 2.24757L1.44658 -1.09988C1.56613 -0.430386 2.22366 0.119552 2.92902 0.119552C4.63861 0.119552 6.25255 -1.21943 6.25255 -3.00075C6.25255 -3.45504 6.14496 -3.90934 5.8939 -4.29191C5.75044 -4.51905 5.57111 -4.68643 5.37983 -4.82989C6.2406 -5.28418 6.76663 -6.01345 6.76663 -6.95791ZM4.68643 -4.84184C4.49514 -4.77011 4.30386 -4.7462 4.07671 -4.7462C3.90934 -4.7462 3.75392 -4.73425 3.53873 -4.80598C3.65828 -4.88966 3.83761 -4.91357 4.08867 -4.91357C4.30386 -4.91357 4.51905 -4.88966 4.68643 -4.84184ZM6.14496 -7.0655C6.14496 -6.40797 5.82217 -5.45156 5.04508 -5.00922C4.81793 -5.0929 4.5071 -5.15268 4.24408 -5.15268C3.99303 -5.15268 3.27572 -5.17659 3.27572 -4.79402C3.27572 -4.47123 3.93325 -4.5071 4.13649 -4.5071C4.44732 -4.5071 4.72229 -4.57883 5.00922 -4.66252C5.39178 -4.35168 5.55915 -3.94521 5.55915 -3.34745C5.55915 -2.65405 5.36787 -2.09215 5.14072 -1.57808C4.7462 -0.6934 3.8137 -0.119552 2.98879 -0.119552C2.11606 -0.119552 1.66177 -0.812951 1.66177 -1.6259C1.66177 -1.7335 1.66177 -1.88892 1.70959 -2.06824L2.48667 -5.21245C2.8812 -6.77858 3.88543 -8.18929 5.04508 -8.18929C5.90585 -8.18929 6.14496 -7.59153 6.14496 -7.0655Z' id='g2-12'/>
-<path d='M4.37559 -2.90909C4.51905 -2.90909 4.57484 -2.90909 4.67049 -2.97285C4.75816 -3.04458 4.79004 -3.15616 4.79004 -3.21196C4.79004 -3.43512 4.59078 -3.43512 4.45529 -3.43512H2.49465C1.26725 -3.43512 0.326775 -2.17584 0.326775 -1.21146C0.326775 -0.430386 0.884682 0.0797011 1.6259 0.0797011C2.63014 0.0797011 3.72204 -0.884682 3.72204 -2.07223C3.72204 -2.50262 3.57061 -2.75766 3.48294 -2.90909H4.37559ZM1.63387 -0.143462C1.23537 -0.143462 0.884682 -0.406476 0.884682 -0.988294C0.884682 -1.32304 1.08394 -2.90909 2.36712 -2.90909C3.14022 -2.90909 3.14022 -2.3193 3.14022 -2.15193C3.14022 -1.33101 2.57435 -0.143462 1.63387 -0.143462Z' id='g1-27'/>
-</defs>
-<g id='page1' transform='matrix(1.13 0 0 1.13 -63.986 -65.1035)'>
-<use x='56.4133' xlink:href='#g2-11' y='65.7534'/>
-<use x='66.5638' xlink:href='#g0-116' y='65.7534'/>
-<use x='74.5042' xlink:href='#g1-27' y='60.8172'/>
-<use x='82.7843' xlink:href='#g2-12' y='65.7534'/>
-</g>
-</svg>
diff --git a/pictures/reals.svg b/pictures/reals.svg
deleted file mode 100644
index 9dbc171..0000000
--- a/pictures/reals.svg
+++ /dev/null
@@ -1,10 +0,0 @@
-<?xml version='1.0' encoding='UTF-8'?>
-<!-- This file was generated by dvisvgm 1.15.1 -->
-<svg height='9.19689pt' version='1.1' viewBox='-0.239051 -0.244142 10.1416 9.19689' width='10.1416pt' xmlns='http://www.w3.org/2000/svg' xmlns:xlink='http://www.w3.org/1999/xlink'>
-<defs>
-<path d='M4.3995 -7.35243C4.5071 -7.79477 4.55492 -7.81868 5.02117 -7.81868H5.88194C6.91009 -7.81868 7.67522 -7.50785 7.67522 -6.57534C7.67522 -5.96563 7.36438 -4.20822 4.96139 -4.20822H3.61046L4.3995 -7.35243ZM6.06127 -4.06476C7.54371 -4.38755 8.70336 -5.34396 8.70336 -6.3721C8.70336 -7.30461 7.7589 -8.16538 6.09714 -8.16538H2.85729C2.61818 -8.16538 2.51059 -8.16538 2.51059 -7.93823C2.51059 -7.81868 2.59427 -7.81868 2.82142 -7.81868C3.53873 -7.81868 3.53873 -7.72304 3.53873 -7.59153C3.53873 -7.56762 3.53873 -7.49589 3.49091 -7.31656L1.87696 -0.884682C1.76936 -0.466252 1.74545 -0.3467 0.920548 -0.3467C0.645579 -0.3467 0.561893 -0.3467 0.561893 -0.119552C0.561893 0 0.6934 0 0.729265 0C0.944458 0 1.19552 -0.0239103 1.42267 -0.0239103H2.83337C3.04857 -0.0239103 3.29963 0 3.51482 0C3.61046 0 3.74197 0 3.74197 -0.227148C3.74197 -0.3467 3.63437 -0.3467 3.45504 -0.3467C2.72578 -0.3467 2.72578 -0.442341 2.72578 -0.561893C2.72578 -0.573848 2.72578 -0.657534 2.74969 -0.753176L3.55068 -3.96912H4.98531C6.12105 -3.96912 6.33624 -3.25181 6.33624 -2.85729C6.33624 -2.67796 6.21669 -2.21171 6.133 -1.90087C6.00149 -1.35093 5.96563 -1.21943 5.96563 -0.992279C5.96563 -0.143462 6.65903 0.251059 7.46002 0.251059C8.42839 0.251059 8.84682 -0.932503 8.84682 -1.09988C8.84682 -1.18356 8.78705 -1.21943 8.71532 -1.21943C8.61968 -1.21943 8.59577 -1.1477 8.57186 -1.05205C8.28493 -0.203238 7.79477 0.0119552 7.49589 0.0119552S7.00573 -0.119552 7.00573 -0.657534C7.00573 -0.944458 7.14919 -2.03238 7.16115 -2.09215C7.22092 -2.5345 7.22092 -2.58232 7.22092 -2.67796C7.22092 -3.55068 6.51557 -3.9213 6.06127 -4.06476Z' id='g0-82'/>
-</defs>
-<g id='page1' transform='matrix(1.13 0 0 1.13 -63.986 -65.3486)'>
-<use x='56.4133' xlink:href='#g0-82' y='65.7534'/>
-</g>
-</svg>
diff --git a/pictures/s1.svg b/pictures/s1.svg
deleted file mode 100644
index 81622aa..0000000
--- a/pictures/s1.svg
+++ /dev/null
@@ -1,12 +0,0 @@
-<?xml version='1.0' encoding='UTF-8'?>
-<!-- This file was generated by dvisvgm 1.15.1 -->
-<svg height='11.3602pt' version='1.1' viewBox='-0.239051 -0.236029 13.6581 11.3602' width='13.6581pt' xmlns='http://www.w3.org/2000/svg' xmlns:xlink='http://www.w3.org/1999/xlink'>
-<defs>
-<path d='M7.59153 -8.30884C7.59153 -8.41644 7.50785 -8.41644 7.48394 -8.41644C7.43611 -8.41644 7.42416 -8.40448 7.2807 -8.22516C7.20897 -8.14147 6.7188 -7.5198 6.70685 -7.50785C6.31233 -8.28493 5.52329 -8.41644 5.02117 -8.41644C3.50286 -8.41644 2.12802 -7.02964 2.12802 -5.6787C2.12802 -4.78207 2.666 -4.25604 3.25181 -4.0528C3.38331 -4.00498 4.08867 -3.8137 4.44732 -3.73001C5.05704 -3.56264 5.21245 -3.51482 5.46351 -3.25181C5.51133 -3.19203 5.75044 -2.91706 5.75044 -2.35517C5.75044 -1.24334 4.72229 -0.0956413 3.52677 -0.0956413C2.54645 -0.0956413 1.45853 -0.514072 1.45853 -1.85305C1.45853 -2.0802 1.50635 -2.36712 1.54222 -2.48667C1.54222 -2.52254 1.55417 -2.58232 1.55417 -2.60623C1.55417 -2.65405 1.53026 -2.71382 1.43462 -2.71382C1.32702 -2.71382 1.31507 -2.68991 1.26725 -2.48667L0.657534 -0.0358655C0.657534 -0.0239103 0.609714 0.131507 0.609714 0.143462C0.609714 0.251059 0.705355 0.251059 0.729265 0.251059C0.777086 0.251059 0.789041 0.239103 0.932503 0.0597758L1.48244 -0.657534C1.76936 -0.227148 2.39103 0.251059 3.50286 0.251059C5.04508 0.251059 6.45579 -1.24334 6.45579 -2.73773C6.45579 -3.23985 6.33624 -3.68219 5.88194 -4.12453C5.63088 -4.37559 5.41569 -4.43537 4.31582 -4.72229C3.51482 -4.93748 3.40722 -4.97335 3.19203 -5.16463C2.98879 -5.36787 2.83337 -5.65479 2.83337 -6.06127C2.83337 -7.0655 3.84956 -8.09365 4.98531 -8.09365C6.15691 -8.09365 6.70685 -7.37634 6.70685 -6.2406C6.70685 -5.92976 6.64707 -5.60697 6.64707 -5.55915C6.64707 -5.45156 6.74271 -5.45156 6.77858 -5.45156C6.88618 -5.45156 6.89813 -5.48742 6.94595 -5.6787L7.59153 -8.30884Z' id='g0-83'/>
-<path d='M2.50262 -5.07696C2.50262 -5.29215 2.48667 -5.30012 2.27148 -5.30012C1.94471 -4.98132 1.52229 -4.79004 0.765131 -4.79004V-4.52702C0.980324 -4.52702 1.41071 -4.52702 1.87298 -4.74222V-0.653549C1.87298 -0.358655 1.84907 -0.263014 1.09191 -0.263014H0.812951V0C1.13973 -0.0239103 1.82516 -0.0239103 2.18381 -0.0239103S3.23587 -0.0239103 3.56264 0V-0.263014H3.28369C2.52653 -0.263014 2.50262 -0.358655 2.50262 -0.653549V-5.07696Z' id='g1-49'/>
-</defs>
-<g id='page1' transform='matrix(1.13 0 0 1.13 -63.986 -63.1772)'>
-<use x='56.4133' xlink:href='#g0-83' y='65.7534'/>
-<use x='64.2817' xlink:href='#g1-49' y='60.8172'/>
-</g>
-</svg>
diff --git a/pictures/s2.svg b/pictures/s2.svg
deleted file mode 100644
index 1206d26..0000000
--- a/pictures/s2.svg
+++ /dev/null
@@ -1,12 +0,0 @@
-<?xml version='1.0' encoding='UTF-8'?>
-<!-- This file was generated by dvisvgm 1.15.1 -->
-<svg height='11.3602pt' version='1.1' viewBox='-0.239051 -0.236029 13.6581 11.3602' width='13.6581pt' xmlns='http://www.w3.org/2000/svg' xmlns:xlink='http://www.w3.org/1999/xlink'>
-<defs>
-<path d='M7.59153 -8.30884C7.59153 -8.41644 7.50785 -8.41644 7.48394 -8.41644C7.43611 -8.41644 7.42416 -8.40448 7.2807 -8.22516C7.20897 -8.14147 6.7188 -7.5198 6.70685 -7.50785C6.31233 -8.28493 5.52329 -8.41644 5.02117 -8.41644C3.50286 -8.41644 2.12802 -7.02964 2.12802 -5.6787C2.12802 -4.78207 2.666 -4.25604 3.25181 -4.0528C3.38331 -4.00498 4.08867 -3.8137 4.44732 -3.73001C5.05704 -3.56264 5.21245 -3.51482 5.46351 -3.25181C5.51133 -3.19203 5.75044 -2.91706 5.75044 -2.35517C5.75044 -1.24334 4.72229 -0.0956413 3.52677 -0.0956413C2.54645 -0.0956413 1.45853 -0.514072 1.45853 -1.85305C1.45853 -2.0802 1.50635 -2.36712 1.54222 -2.48667C1.54222 -2.52254 1.55417 -2.58232 1.55417 -2.60623C1.55417 -2.65405 1.53026 -2.71382 1.43462 -2.71382C1.32702 -2.71382 1.31507 -2.68991 1.26725 -2.48667L0.657534 -0.0358655C0.657534 -0.0239103 0.609714 0.131507 0.609714 0.143462C0.609714 0.251059 0.705355 0.251059 0.729265 0.251059C0.777086 0.251059 0.789041 0.239103 0.932503 0.0597758L1.48244 -0.657534C1.76936 -0.227148 2.39103 0.251059 3.50286 0.251059C5.04508 0.251059 6.45579 -1.24334 6.45579 -2.73773C6.45579 -3.23985 6.33624 -3.68219 5.88194 -4.12453C5.63088 -4.37559 5.41569 -4.43537 4.31582 -4.72229C3.51482 -4.93748 3.40722 -4.97335 3.19203 -5.16463C2.98879 -5.36787 2.83337 -5.65479 2.83337 -6.06127C2.83337 -7.0655 3.84956 -8.09365 4.98531 -8.09365C6.15691 -8.09365 6.70685 -7.37634 6.70685 -6.2406C6.70685 -5.92976 6.64707 -5.60697 6.64707 -5.55915C6.64707 -5.45156 6.74271 -5.45156 6.77858 -5.45156C6.88618 -5.45156 6.89813 -5.48742 6.94595 -5.6787L7.59153 -8.30884Z' id='g0-83'/>
-<path d='M2.24757 -1.6259C2.37509 -1.74545 2.70984 -2.00847 2.83736 -2.12005C3.33151 -2.57435 3.80174 -3.0127 3.80174 -3.73798C3.80174 -4.68643 3.00473 -5.30012 2.00847 -5.30012C1.05205 -5.30012 0.422416 -4.57484 0.422416 -3.8655C0.422416 -3.47497 0.73325 -3.41918 0.844832 -3.41918C1.0122 -3.41918 1.25928 -3.53873 1.25928 -3.84159C1.25928 -4.25604 0.860772 -4.25604 0.765131 -4.25604C0.996264 -4.83786 1.53026 -5.03711 1.9208 -5.03711C2.66202 -5.03711 3.04458 -4.40747 3.04458 -3.73798C3.04458 -2.90909 2.46276 -2.30336 1.52229 -1.33898L0.518057 -0.302864C0.422416 -0.215193 0.422416 -0.199253 0.422416 0H3.57061L3.80174 -1.42665H3.55467C3.53076 -1.26725 3.467 -0.868742 3.37136 -0.71731C3.32354 -0.653549 2.71781 -0.653549 2.59029 -0.653549H1.17161L2.24757 -1.6259Z' id='g1-50'/>
-</defs>
-<g id='page1' transform='matrix(1.13 0 0 1.13 -63.986 -63.1772)'>
-<use x='56.4133' xlink:href='#g0-83' y='65.7534'/>
-<use x='64.2817' xlink:href='#g1-50' y='60.8172'/>
-</g>
-</svg>
diff --git a/pictures/susp-span.svg b/pictures/susp-span.svg
deleted file mode 100644
index 8a25b1a..0000000
--- a/pictures/susp-span.svg
+++ /dev/null
@@ -1,17 +0,0 @@
-<?xml version='1.0' encoding='UTF-8'?>
-<!-- This file was generated by dvisvgm 1.15.1 -->
-<svg height='8.67349pt' version='1.1' viewBox='-0.239051 -0.246105 63.5744 8.67349' width='63.5744pt' xmlns='http://www.w3.org/2000/svg' xmlns:xlink='http://www.w3.org/1999/xlink'>
-<defs>
-<path d='M10.8553 -2.74969C11.0705 -2.74969 11.2857 -2.74969 11.2857 -2.98879S11.0705 -3.2279 10.8553 -3.2279H1.9726C2.63014 -3.73001 2.95293 -4.22017 3.04857 -4.37559C3.58655 -5.2005 3.68219 -5.95367 3.68219 -5.96563C3.68219 -6.10909 3.53873 -6.10909 3.44309 -6.10909C3.23985 -6.10909 3.2279 -6.08518 3.18007 -5.86999C2.90511 -4.69838 2.19975 -3.7061 0.848817 -3.14421C0.71731 -3.09639 0.669489 -3.07248 0.669489 -2.98879S0.729265 -2.8812 0.848817 -2.83337C2.09215 -2.3193 2.89315 -1.3868 3.19203 -0.0478207C3.2279 0.0956413 3.23985 0.131507 3.44309 0.131507C3.53873 0.131507 3.68219 0.131507 3.68219 -0.0119552C3.68219 -0.0358655 3.5746 -0.789041 3.07248 -1.59004C2.83337 -1.94869 2.48667 -2.36712 1.9726 -2.74969H10.8553Z' id='g0-32'/>
-<path d='M9.97061 -2.74969C9.31308 -2.24757 8.99029 -1.75741 8.89465 -1.60199C8.35666 -0.777086 8.26102 -0.0239103 8.26102 -0.0119552C8.26102 0.131507 8.40448 0.131507 8.50012 0.131507C8.70336 0.131507 8.71532 0.107597 8.76314 -0.107597C9.03811 -1.2792 9.74346 -2.28344 11.0944 -2.83337C11.2379 -2.8812 11.2737 -2.90511 11.2737 -2.98879S11.202 -3.10834 11.1781 -3.1203C10.6521 -3.32354 9.20548 -3.9213 8.75118 -5.92976C8.71532 -6.07323 8.70336 -6.10909 8.50012 -6.10909C8.40448 -6.10909 8.26102 -6.10909 8.26102 -5.96563C8.26102 -5.94172 8.36862 -5.18854 8.87073 -4.38755C9.10984 -4.02889 9.45654 -3.61046 9.97061 -3.2279H1.08792C0.872727 -3.2279 0.657534 -3.2279 0.657534 -2.98879S0.872727 -2.74969 1.08792 -2.74969H9.97061Z' id='g0-33'/>
-<path d='M3.44309 -7.66326C3.44309 -7.93823 3.44309 -7.95019 3.20399 -7.95019C2.91706 -7.6274 2.3193 -7.18506 1.08792 -7.18506V-6.83836C1.36289 -6.83836 1.96065 -6.83836 2.61818 -7.14919V-0.920548C2.61818 -0.490162 2.58232 -0.3467 1.53026 -0.3467H1.15965V0C1.48244 -0.0239103 2.64209 -0.0239103 3.03661 -0.0239103S4.57883 -0.0239103 4.90162 0V-0.3467H4.53101C3.47895 -0.3467 3.44309 -0.490162 3.44309 -0.920548V-7.66326Z' id='g2-49'/>
-<path d='M5.53524 -3.02466C5.53524 -4.18431 4.87771 -5.27223 3.61046 -5.27223C2.04433 -5.27223 0.478207 -3.56264 0.478207 -1.86501C0.478207 -0.824907 1.12379 0.119552 2.34321 0.119552C3.08443 0.119552 3.96912 -0.167372 4.81793 -0.884682C4.98531 -0.215193 5.35592 0.119552 5.86999 0.119552C6.51557 0.119552 6.83836 -0.549938 6.83836 -0.705355C6.83836 -0.812951 6.75467 -0.812951 6.7188 -0.812951C6.62316 -0.812951 6.61121 -0.777086 6.57534 -0.681445C6.46775 -0.382565 6.19278 -0.119552 5.90585 -0.119552C5.53524 -0.119552 5.53524 -0.884682 5.53524 -1.61395C6.75467 -3.07248 7.04159 -4.57883 7.04159 -4.59078C7.04159 -4.69838 6.94595 -4.69838 6.91009 -4.69838C6.80249 -4.69838 6.79054 -4.66252 6.74271 -4.44732C6.5873 -3.9213 6.27646 -2.98879 5.53524 -2.00847V-3.02466ZM4.78207 -1.17161C3.73001 -0.227148 2.78555 -0.119552 2.36712 -0.119552C1.51831 -0.119552 1.2792 -0.872727 1.2792 -1.43462C1.2792 -1.94869 1.54222 -3.16812 1.91283 -3.82565C2.40299 -4.66252 3.07248 -5.03313 3.61046 -5.03313C4.77011 -5.03313 4.77011 -3.51482 4.77011 -2.51059C4.77011 -2.21171 4.75816 -1.90087 4.75816 -1.60199C4.75816 -1.36289 4.77011 -1.30311 4.78207 -1.17161Z' id='g1-11'/>
-</defs>
-<g id='page1' transform='matrix(1.13 0 0 1.13 -63.986 -65.874)'>
-<use x='56.4133' xlink:href='#g2-49' y='65.7534'/>
-<use x='65.5652' xlink:href='#g0-32' y='65.7534'/>
-<use x='80.7966' xlink:href='#g1-11' y='65.7534'/>
-<use x='91.6113' xlink:href='#g0-33' y='65.7534'/>
-<use x='106.843' xlink:href='#g2-49' y='65.7534'/>
-</g>
-</svg>
diff --git a/pictures/susp.svg b/pictures/susp.svg
deleted file mode 100644
index 2d8c92c..0000000
--- a/pictures/susp.svg
+++ /dev/null
@@ -1,12 +0,0 @@
-<?xml version='1.0' encoding='UTF-8'?>
-<!-- This file was generated by dvisvgm 1.15.1 -->
-<svg height='9.19689pt' version='1.1' viewBox='-0.239051 -0.244142 17.9855 9.19689' width='17.9855pt' xmlns='http://www.w3.org/2000/svg' xmlns:xlink='http://www.w3.org/1999/xlink'>
-<defs>
-<path d='M5.53524 -3.02466C5.53524 -4.18431 4.87771 -5.27223 3.61046 -5.27223C2.04433 -5.27223 0.478207 -3.56264 0.478207 -1.86501C0.478207 -0.824907 1.12379 0.119552 2.34321 0.119552C3.08443 0.119552 3.96912 -0.167372 4.81793 -0.884682C4.98531 -0.215193 5.35592 0.119552 5.86999 0.119552C6.51557 0.119552 6.83836 -0.549938 6.83836 -0.705355C6.83836 -0.812951 6.75467 -0.812951 6.7188 -0.812951C6.62316 -0.812951 6.61121 -0.777086 6.57534 -0.681445C6.46775 -0.382565 6.19278 -0.119552 5.90585 -0.119552C5.53524 -0.119552 5.53524 -0.884682 5.53524 -1.61395C6.75467 -3.07248 7.04159 -4.57883 7.04159 -4.59078C7.04159 -4.69838 6.94595 -4.69838 6.91009 -4.69838C6.80249 -4.69838 6.79054 -4.66252 6.74271 -4.44732C6.5873 -3.9213 6.27646 -2.98879 5.53524 -2.00847V-3.02466ZM4.78207 -1.17161C3.73001 -0.227148 2.78555 -0.119552 2.36712 -0.119552C1.51831 -0.119552 1.2792 -0.872727 1.2792 -1.43462C1.2792 -1.94869 1.54222 -3.16812 1.91283 -3.82565C2.40299 -4.66252 3.07248 -5.03313 3.61046 -5.03313C4.77011 -5.03313 4.77011 -3.51482 4.77011 -2.51059C4.77011 -2.21171 4.75816 -1.90087 4.75816 -1.60199C4.75816 -1.36289 4.77011 -1.30311 4.78207 -1.17161Z' id='g0-11'/>
-<path d='M4.23213 -3.88543C4.32777 -4.00498 4.35168 -4.02889 4.35168 -4.08867C4.35168 -4.11258 4.35168 -4.13649 4.27995 -4.23213L1.86501 -7.81868H4.68643C6.69489 -7.81868 7.30461 -7.38829 7.53176 -5.49938H7.79477L7.48394 -8.16538H0.944458C0.657534 -8.16538 0.645579 -8.16538 0.645579 -7.89041L3.55068 -3.58655L0.777086 -0.310834C0.681445 -0.203238 0.657534 -0.167372 0.657534 -0.119552C0.657534 0 0.753176 0 0.944458 0H7.48394L7.79477 -2.78555H7.53176C7.31656 -0.812951 6.56339 -0.466252 4.65056 -0.466252H1.33898L4.23213 -3.88543Z' id='g1-6'/>
-</defs>
-<g id='page1' transform='matrix(1.13 0 0 1.13 -63.986 -65.3486)'>
-<use x='56.4133' xlink:href='#g1-6' y='65.7534'/>
-<use x='64.836' xlink:href='#g0-11' y='65.7534'/>
-</g>
-</svg>