diff --git a/publications/pxtp21/_minted-extended_abstract/default-pyg-prefix.pygstyle b/publications/pxtp21/_minted-extended_abstract/default-pyg-prefix.pygstyle
deleted file mode 100644
index cd0f51ac14bc0245adbc1b7a69a2d395b97b924d..0000000000000000000000000000000000000000
--- a/publications/pxtp21/_minted-extended_abstract/default-pyg-prefix.pygstyle
+++ /dev/null
@@ -1,101 +0,0 @@
-
-\makeatletter
-\def\PYG@reset{\let\PYG@it=\relax \let\PYG@bf=\relax%
- \let\PYG@ul=\relax \let\PYG@tc=\relax%
- \let\PYG@bc=\relax \let\PYG@ff=\relax}
-\def\PYG@tok#1{\csname PYG@tok@#1\endcsname}
-\def\PYG@toks#1+{\ifx\relax#1\empty\else%
- \PYG@tok{#1}\expandafter\PYG@toks\fi}
-\def\PYG@do#1{\PYG@bc{\PYG@tc{\PYG@ul{%
- \PYG@it{\PYG@bf{\PYG@ff{#1}}}}}}}
-\def\PYG#1#2{\PYG@reset\PYG@toks#1+\relax+\PYG@do{#2}}
-
-\expandafter\def\csname PYG@tok@w\endcsname{\def\PYG@tc##1{\textcolor[rgb]{0.73,0.73,0.73}{##1}}}
-\expandafter\def\csname PYG@tok@c\endcsname{\let\PYG@it=\textit\def\PYG@tc##1{\textcolor[rgb]{0.25,0.50,0.50}{##1}}}
-\expandafter\def\csname PYG@tok@cp\endcsname{\def\PYG@tc##1{\textcolor[rgb]{0.74,0.48,0.00}{##1}}}
-\expandafter\def\csname PYG@tok@k\endcsname{\let\PYG@bf=\textbf\def\PYG@tc##1{\textcolor[rgb]{0.00,0.50,0.00}{##1}}}
-\expandafter\def\csname PYG@tok@kp\endcsname{\def\PYG@tc##1{\textcolor[rgb]{0.00,0.50,0.00}{##1}}}
-\expandafter\def\csname PYG@tok@kt\endcsname{\def\PYG@tc##1{\textcolor[rgb]{0.69,0.00,0.25}{##1}}}
-\expandafter\def\csname PYG@tok@o\endcsname{\def\PYG@tc##1{\textcolor[rgb]{0.40,0.40,0.40}{##1}}}
-\expandafter\def\csname PYG@tok@ow\endcsname{\let\PYG@bf=\textbf\def\PYG@tc##1{\textcolor[rgb]{0.67,0.13,1.00}{##1}}}
-\expandafter\def\csname PYG@tok@nb\endcsname{\def\PYG@tc##1{\textcolor[rgb]{0.00,0.50,0.00}{##1}}}
-\expandafter\def\csname PYG@tok@nf\endcsname{\def\PYG@tc##1{\textcolor[rgb]{0.00,0.00,1.00}{##1}}}
-\expandafter\def\csname PYG@tok@nc\endcsname{\let\PYG@bf=\textbf\def\PYG@tc##1{\textcolor[rgb]{0.00,0.00,1.00}{##1}}}
-\expandafter\def\csname PYG@tok@nn\endcsname{\let\PYG@bf=\textbf\def\PYG@tc##1{\textcolor[rgb]{0.00,0.00,1.00}{##1}}}
-\expandafter\def\csname PYG@tok@ne\endcsname{\let\PYG@bf=\textbf\def\PYG@tc##1{\textcolor[rgb]{0.82,0.25,0.23}{##1}}}
-\expandafter\def\csname PYG@tok@nv\endcsname{\def\PYG@tc##1{\textcolor[rgb]{0.10,0.09,0.49}{##1}}}
-\expandafter\def\csname PYG@tok@no\endcsname{\def\PYG@tc##1{\textcolor[rgb]{0.53,0.00,0.00}{##1}}}
-\expandafter\def\csname PYG@tok@nl\endcsname{\def\PYG@tc##1{\textcolor[rgb]{0.63,0.63,0.00}{##1}}}
-\expandafter\def\csname PYG@tok@ni\endcsname{\let\PYG@bf=\textbf\def\PYG@tc##1{\textcolor[rgb]{0.60,0.60,0.60}{##1}}}
-\expandafter\def\csname PYG@tok@na\endcsname{\def\PYG@tc##1{\textcolor[rgb]{0.49,0.56,0.16}{##1}}}
-\expandafter\def\csname PYG@tok@nt\endcsname{\let\PYG@bf=\textbf\def\PYG@tc##1{\textcolor[rgb]{0.00,0.50,0.00}{##1}}}
-\expandafter\def\csname PYG@tok@nd\endcsname{\def\PYG@tc##1{\textcolor[rgb]{0.67,0.13,1.00}{##1}}}
-\expandafter\def\csname PYG@tok@s\endcsname{\def\PYG@tc##1{\textcolor[rgb]{0.73,0.13,0.13}{##1}}}
-\expandafter\def\csname PYG@tok@sd\endcsname{\let\PYG@it=\textit\def\PYG@tc##1{\textcolor[rgb]{0.73,0.13,0.13}{##1}}}
-\expandafter\def\csname PYG@tok@si\endcsname{\let\PYG@bf=\textbf\def\PYG@tc##1{\textcolor[rgb]{0.73,0.40,0.53}{##1}}}
-\expandafter\def\csname PYG@tok@se\endcsname{\let\PYG@bf=\textbf\def\PYG@tc##1{\textcolor[rgb]{0.73,0.40,0.13}{##1}}}
-\expandafter\def\csname PYG@tok@sr\endcsname{\def\PYG@tc##1{\textcolor[rgb]{0.73,0.40,0.53}{##1}}}
-\expandafter\def\csname PYG@tok@ss\endcsname{\def\PYG@tc##1{\textcolor[rgb]{0.10,0.09,0.49}{##1}}}
-\expandafter\def\csname PYG@tok@sx\endcsname{\def\PYG@tc##1{\textcolor[rgb]{0.00,0.50,0.00}{##1}}}
-\expandafter\def\csname PYG@tok@m\endcsname{\def\PYG@tc##1{\textcolor[rgb]{0.40,0.40,0.40}{##1}}}
-\expandafter\def\csname PYG@tok@gh\endcsname{\let\PYG@bf=\textbf\def\PYG@tc##1{\textcolor[rgb]{0.00,0.00,0.50}{##1}}}
-\expandafter\def\csname PYG@tok@gu\endcsname{\let\PYG@bf=\textbf\def\PYG@tc##1{\textcolor[rgb]{0.50,0.00,0.50}{##1}}}
-\expandafter\def\csname PYG@tok@gd\endcsname{\def\PYG@tc##1{\textcolor[rgb]{0.63,0.00,0.00}{##1}}}
-\expandafter\def\csname PYG@tok@gi\endcsname{\def\PYG@tc##1{\textcolor[rgb]{0.00,0.63,0.00}{##1}}}
-\expandafter\def\csname PYG@tok@gr\endcsname{\def\PYG@tc##1{\textcolor[rgb]{1.00,0.00,0.00}{##1}}}
-\expandafter\def\csname PYG@tok@ge\endcsname{\let\PYG@it=\textit}
-\expandafter\def\csname PYG@tok@gs\endcsname{\let\PYG@bf=\textbf}
-\expandafter\def\csname PYG@tok@gp\endcsname{\let\PYG@bf=\textbf\def\PYG@tc##1{\textcolor[rgb]{0.00,0.00,0.50}{##1}}}
-\expandafter\def\csname PYG@tok@go\endcsname{\def\PYG@tc##1{\textcolor[rgb]{0.53,0.53,0.53}{##1}}}
-\expandafter\def\csname PYG@tok@gt\endcsname{\def\PYG@tc##1{\textcolor[rgb]{0.00,0.27,0.87}{##1}}}
-\expandafter\def\csname PYG@tok@err\endcsname{\def\PYG@bc##1{\setlength{\fboxsep}{0pt}\fcolorbox[rgb]{1.00,0.00,0.00}{1,1,1}{\strut ##1}}}
-\expandafter\def\csname PYG@tok@kc\endcsname{\let\PYG@bf=\textbf\def\PYG@tc##1{\textcolor[rgb]{0.00,0.50,0.00}{##1}}}
-\expandafter\def\csname PYG@tok@kd\endcsname{\let\PYG@bf=\textbf\def\PYG@tc##1{\textcolor[rgb]{0.00,0.50,0.00}{##1}}}
-\expandafter\def\csname PYG@tok@kn\endcsname{\let\PYG@bf=\textbf\def\PYG@tc##1{\textcolor[rgb]{0.00,0.50,0.00}{##1}}}
-\expandafter\def\csname PYG@tok@kr\endcsname{\let\PYG@bf=\textbf\def\PYG@tc##1{\textcolor[rgb]{0.00,0.50,0.00}{##1}}}
-\expandafter\def\csname PYG@tok@bp\endcsname{\def\PYG@tc##1{\textcolor[rgb]{0.00,0.50,0.00}{##1}}}
-\expandafter\def\csname PYG@tok@fm\endcsname{\def\PYG@tc##1{\textcolor[rgb]{0.00,0.00,1.00}{##1}}}
-\expandafter\def\csname PYG@tok@vc\endcsname{\def\PYG@tc##1{\textcolor[rgb]{0.10,0.09,0.49}{##1}}}
-\expandafter\def\csname PYG@tok@vg\endcsname{\def\PYG@tc##1{\textcolor[rgb]{0.10,0.09,0.49}{##1}}}
-\expandafter\def\csname PYG@tok@vi\endcsname{\def\PYG@tc##1{\textcolor[rgb]{0.10,0.09,0.49}{##1}}}
-\expandafter\def\csname PYG@tok@vm\endcsname{\def\PYG@tc##1{\textcolor[rgb]{0.10,0.09,0.49}{##1}}}
-\expandafter\def\csname PYG@tok@sa\endcsname{\def\PYG@tc##1{\textcolor[rgb]{0.73,0.13,0.13}{##1}}}
-\expandafter\def\csname PYG@tok@sb\endcsname{\def\PYG@tc##1{\textcolor[rgb]{0.73,0.13,0.13}{##1}}}
-\expandafter\def\csname PYG@tok@sc\endcsname{\def\PYG@tc##1{\textcolor[rgb]{0.73,0.13,0.13}{##1}}}
-\expandafter\def\csname PYG@tok@dl\endcsname{\def\PYG@tc##1{\textcolor[rgb]{0.73,0.13,0.13}{##1}}}
-\expandafter\def\csname PYG@tok@s2\endcsname{\def\PYG@tc##1{\textcolor[rgb]{0.73,0.13,0.13}{##1}}}
-\expandafter\def\csname PYG@tok@sh\endcsname{\def\PYG@tc##1{\textcolor[rgb]{0.73,0.13,0.13}{##1}}}
-\expandafter\def\csname PYG@tok@s1\endcsname{\def\PYG@tc##1{\textcolor[rgb]{0.73,0.13,0.13}{##1}}}
-\expandafter\def\csname PYG@tok@mb\endcsname{\def\PYG@tc##1{\textcolor[rgb]{0.40,0.40,0.40}{##1}}}
-\expandafter\def\csname PYG@tok@mf\endcsname{\def\PYG@tc##1{\textcolor[rgb]{0.40,0.40,0.40}{##1}}}
-\expandafter\def\csname PYG@tok@mh\endcsname{\def\PYG@tc##1{\textcolor[rgb]{0.40,0.40,0.40}{##1}}}
-\expandafter\def\csname PYG@tok@mi\endcsname{\def\PYG@tc##1{\textcolor[rgb]{0.40,0.40,0.40}{##1}}}
-\expandafter\def\csname PYG@tok@il\endcsname{\def\PYG@tc##1{\textcolor[rgb]{0.40,0.40,0.40}{##1}}}
-\expandafter\def\csname PYG@tok@mo\endcsname{\def\PYG@tc##1{\textcolor[rgb]{0.40,0.40,0.40}{##1}}}
-\expandafter\def\csname PYG@tok@ch\endcsname{\let\PYG@it=\textit\def\PYG@tc##1{\textcolor[rgb]{0.25,0.50,0.50}{##1}}}
-\expandafter\def\csname PYG@tok@cm\endcsname{\let\PYG@it=\textit\def\PYG@tc##1{\textcolor[rgb]{0.25,0.50,0.50}{##1}}}
-\expandafter\def\csname PYG@tok@cpf\endcsname{\let\PYG@it=\textit\def\PYG@tc##1{\textcolor[rgb]{0.25,0.50,0.50}{##1}}}
-\expandafter\def\csname PYG@tok@c1\endcsname{\let\PYG@it=\textit\def\PYG@tc##1{\textcolor[rgb]{0.25,0.50,0.50}{##1}}}
-\expandafter\def\csname PYG@tok@cs\endcsname{\let\PYG@it=\textit\def\PYG@tc##1{\textcolor[rgb]{0.25,0.50,0.50}{##1}}}
-
-\def\PYGZbs{\char`\\}
-\def\PYGZus{\char`\_}
-\def\PYGZob{\char`\{}
-\def\PYGZcb{\char`\}}
-\def\PYGZca{\char`\^}
-\def\PYGZam{\char`\&}
-\def\PYGZlt{\char`\<}
-\def\PYGZgt{\char`\>}
-\def\PYGZsh{\char`\#}
-\def\PYGZpc{\char`\%}
-\def\PYGZdl{\char`\$}
-\def\PYGZhy{\char`\-}
-\def\PYGZsq{\char`\'}
-\def\PYGZdq{\char`\"}
-\def\PYGZti{\char`\~}
-% for compatibility with earlier versions
-\def\PYGZat{@}
-\def\PYGZlb{[}
-\def\PYGZrb{]}
-\makeatother
-
diff --git a/publications/pxtp21/_minted-extended_abstract/listing1.pygtex b/publications/pxtp21/_minted-extended_abstract/listing1.pygtex
deleted file mode 100644
index f1a40c39fb1610a11879a889da21ae17050b92dd..0000000000000000000000000000000000000000
--- a/publications/pxtp21/_minted-extended_abstract/listing1.pygtex
+++ /dev/null
@@ -1,19 +0,0 @@
-\begin{Verbatim}[commandchars=\\\{\}]
- \PYG{p}{(}\PYG{k+kr}{assume} \PYG{n+nv}{a0} \PYG{p}{(}\PYG{n+nb}{exists }\PYG{p}{((}\PYG{n+nv}{x} \PYG{n+nv}{A}\PYG{p}{))} \PYG{p}{(}\PYG{n+nv}{f} \PYG{n+nv}{x}\PYG{p}{)))}
- \PYG{p}{(}\PYG{k+kr}{anchor} \PYG{n+nf}{:step} \PYG{n+nv}{t1} \PYG{n+nf}{:args} \PYG{p}{(}\PYG{n+nb}{:= }\PYG{n+nv}{x} \PYG{n+nv}{vr}\PYG{p}{))}
- \PYG{p}{(}\PYG{k+kr}{step} \PYG{n+nv}{t1.t1} \PYG{p}{(}\PYG{n+nb}{cl }\PYG{p}{(}\PYG{n+nb}{= }\PYG{n+nv}{x} \PYG{n+nv}{vr}\PYG{p}{))} \PYG{n+nf}{:rule} \PYG{n+nv}{cong}\PYG{p}{)}
- \PYG{p}{(}\PYG{k+kr}{step} \PYG{n+nv}{t1.t2} \PYG{p}{(}\PYG{n+nb}{cl }\PYG{p}{(}\PYG{n+nb}{= }\PYG{p}{(}\PYG{n+nv}{f} \PYG{n+nv}{x}\PYG{p}{)} \PYG{p}{(}\PYG{n+nv}{f} \PYG{n+nv}{vr}\PYG{p}{)))} \PYG{n+nf}{:rule} \PYG{n+nv}{cong}\PYG{p}{)}
- \PYG{p}{(}\PYG{k+kr}{step} \PYG{n+nv}{t1} \PYG{p}{(}\PYG{n+nb}{cl }\PYG{p}{(}\PYG{n+nb}{= }\PYG{p}{(}\PYG{n+nb}{exists }\PYG{p}{((}\PYG{n+nv}{x} \PYG{n+nv}{A}\PYG{p}{))} \PYG{p}{(}\PYG{n+nv}{f} \PYG{n+nv}{x}\PYG{p}{))}
- \PYG{p}{(}\PYG{n+nb}{exists }\PYG{p}{((}\PYG{n+nv}{vr} \PYG{n+nv}{A}\PYG{p}{))} \PYG{p}{(}\PYG{n+nv}{f} \PYG{n+nv}{vr}\PYG{p}{))))} \PYG{n+nf}{:rule} \PYG{n+nv}{bind}\PYG{p}{)}
- \PYG{p}{(}\PYG{k+kr}{step} \PYG{n+nv}{t2} \PYG{p}{(}\PYG{n+nb}{cl }\PYG{p}{(}\PYG{n+nb}{not }\PYG{p}{(}\PYG{n+nb}{= }\PYG{p}{(}\PYG{n+nb}{exists }\PYG{p}{((}\PYG{n+nv}{vr} \PYG{n+nv}{A}\PYG{p}{))} \PYG{p}{(}\PYG{n+nv}{f} \PYG{n+nv}{x}\PYG{p}{))}
- \PYG{p}{(}\PYG{n+nb}{exists }\PYG{p}{((}\PYG{n+nv}{vr} \PYG{n+nv}{A}\PYG{p}{))} \PYG{p}{(}\PYG{n+nv}{f} \PYG{n+nv}{vr}\PYG{p}{))))}
- \PYG{p}{(}\PYG{n+nb}{not }\PYG{p}{(}\PYG{n+nb}{exists }\PYG{p}{((}\PYG{n+nv}{vr} \PYG{n+nv}{A}\PYG{p}{))} \PYG{p}{(}\PYG{n+nv}{f} \PYG{n+nv}{x}\PYG{p}{)))}
- \PYG{p}{(}\PYG{n+nb}{exists }\PYG{p}{((}\PYG{n+nv}{vr} \PYG{n+nv}{A}\PYG{p}{))} \PYG{p}{(}\PYG{n+nv}{f} \PYG{n+nv}{vr}\PYG{p}{)))} \PYG{n+nf}{:rule} \PYG{n+nv}{equiv\PYGZus{}pos1}\PYG{p}{)}
- \PYG{p}{(}\PYG{k+kr}{step} \PYG{n+nv}{t3} \PYG{p}{(}\PYG{n+nb}{cl }\PYG{p}{(}\PYG{n+nb}{exists }\PYG{p}{((}\PYG{n+nv}{vr} \PYG{n+nv}{A}\PYG{p}{))} \PYG{p}{(}\PYG{n+nv}{f} \PYG{n+nv}{vr}\PYG{p}{)))} \PYG{n+nf}{:premises} \PYG{p}{(}\PYG{n+nv}{a0} \PYG{n+nv}{t1} \PYG{n+nv}{t2}\PYG{p}{)} \PYG{n+nf}{:rule} \PYG{n+nv}{resolution}\PYG{p}{)}
- \PYG{p}{(}\PYG{k+kr}{define\PYGZhy{}fun} \PYG{n+nv}{X} \PYG{p}{()} \PYG{n+nv}{A} \PYG{p}{(}\PYG{n+nv}{choice} \PYG{p}{((}\PYG{n+nv}{vr} \PYG{n+nv}{A}\PYG{p}{))} \PYG{p}{(}\PYG{n+nv}{f} \PYG{n+nv}{vr}\PYG{p}{)))}
- \PYG{p}{(}\PYG{k+kr}{step} \PYG{n+nv}{t4} \PYG{p}{(}\PYG{n+nb}{cl }\PYG{p}{(}\PYG{n+nb}{= }\PYG{p}{(}\PYG{n+nb}{exists }\PYG{p}{((}\PYG{n+nv}{vr} \PYG{n+nv}{A}\PYG{p}{))} \PYG{p}{(}\PYG{n+nv}{f} \PYG{n+nv}{vr}\PYG{p}{))} \PYG{p}{(}\PYG{n+nv}{f} \PYG{n+nv}{X}\PYG{p}{)))} \PYG{n+nf}{:rule} \PYG{n+nv}{sko\PYGZus{}ex}\PYG{p}{)}
- \PYG{p}{(}\PYG{k+kr}{step} \PYG{n+nv}{t5} \PYG{p}{(}\PYG{n+nb}{cl }\PYG{p}{(}\PYG{n+nb}{not }\PYG{p}{(}\PYG{n+nb}{= }\PYG{p}{(}\PYG{n+nb}{exists }\PYG{p}{((}\PYG{n+nv}{vr} \PYG{n+nv}{A}\PYG{p}{))} \PYG{p}{(}\PYG{n+nv}{f} \PYG{n+nv}{vr}\PYG{p}{))} \PYG{p}{(}\PYG{n+nv}{f} \PYG{n+nv}{X}\PYG{p}{)))}
- \PYG{p}{(}\PYG{n+nb}{not }\PYG{p}{(}\PYG{n+nb}{exists }\PYG{p}{((}\PYG{n+nv}{vr} \PYG{n+nv}{A}\PYG{p}{))} \PYG{p}{(}\PYG{n+nv}{f} \PYG{n+nv}{vr}\PYG{p}{)))}
- \PYG{p}{(}\PYG{n+nv}{f} \PYG{n+nv}{X}\PYG{p}{))} \PYG{n+nf}{:rule} \PYG{n+nv}{equiv\PYGZus{}pos1}\PYG{p}{)}
- \PYG{p}{(}\PYG{k+kr}{step} \PYG{n+nv}{t6} \PYG{p}{(}\PYG{n+nb}{cl }\PYG{p}{(}\PYG{n+nv}{f} \PYG{n+nv}{X}\PYG{p}{))} \PYG{n+nf}{:premises} \PYG{p}{(}\PYG{n+nv}{t3} \PYG{n+nv}{t4} \PYG{n+nv}{t5}\PYG{p}{)} \PYG{n+nf}{:rule} \PYG{n+nv}{resolution}\PYG{p}{)}
-\end{Verbatim}
diff --git a/publications/pxtp21/_minted-extended_abstract/trac.pygstyle b/publications/pxtp21/_minted-extended_abstract/trac.pygstyle
deleted file mode 100644
index 85929ff13f12724880889cf52f61700fb9facd0a..0000000000000000000000000000000000000000
--- a/publications/pxtp21/_minted-extended_abstract/trac.pygstyle
+++ /dev/null
@@ -1,99 +0,0 @@
-
-\makeatletter
-\def\PYGtrac@reset{\let\PYGtrac@it=\relax \let\PYGtrac@bf=\relax%
- \let\PYGtrac@ul=\relax \let\PYGtrac@tc=\relax%
- \let\PYGtrac@bc=\relax \let\PYGtrac@ff=\relax}
-\def\PYGtrac@tok#1{\csname PYGtrac@tok@#1\endcsname}
-\def\PYGtrac@toks#1+{\ifx\relax#1\empty\else%
- \PYGtrac@tok{#1}\expandafter\PYGtrac@toks\fi}
-\def\PYGtrac@do#1{\PYGtrac@bc{\PYGtrac@tc{\PYGtrac@ul{%
- \PYGtrac@it{\PYGtrac@bf{\PYGtrac@ff{#1}}}}}}}
-\def\PYGtrac#1#2{\PYGtrac@reset\PYGtrac@toks#1+\relax+\PYGtrac@do{#2}}
-
-\expandafter\def\csname PYGtrac@tok@w\endcsname{\def\PYGtrac@tc##1{\textcolor[rgb]{0.73,0.73,0.73}{##1}}}
-\expandafter\def\csname PYGtrac@tok@c\endcsname{\let\PYGtrac@it=\textit\def\PYGtrac@tc##1{\textcolor[rgb]{0.60,0.60,0.53}{##1}}}
-\expandafter\def\csname PYGtrac@tok@cp\endcsname{\let\PYGtrac@bf=\textbf\def\PYGtrac@tc##1{\textcolor[rgb]{0.60,0.60,0.60}{##1}}}
-\expandafter\def\csname PYGtrac@tok@cs\endcsname{\let\PYGtrac@bf=\textbf\let\PYGtrac@it=\textit\def\PYGtrac@tc##1{\textcolor[rgb]{0.60,0.60,0.60}{##1}}}
-\expandafter\def\csname PYGtrac@tok@o\endcsname{\let\PYGtrac@bf=\textbf}
-\expandafter\def\csname PYGtrac@tok@s\endcsname{\def\PYGtrac@tc##1{\textcolor[rgb]{0.73,0.53,0.27}{##1}}}
-\expandafter\def\csname PYGtrac@tok@sr\endcsname{\def\PYGtrac@tc##1{\textcolor[rgb]{0.50,0.50,0.00}{##1}}}
-\expandafter\def\csname PYGtrac@tok@m\endcsname{\def\PYGtrac@tc##1{\textcolor[rgb]{0.00,0.60,0.60}{##1}}}
-\expandafter\def\csname PYGtrac@tok@k\endcsname{\let\PYGtrac@bf=\textbf}
-\expandafter\def\csname PYGtrac@tok@kt\endcsname{\let\PYGtrac@bf=\textbf\def\PYGtrac@tc##1{\textcolor[rgb]{0.27,0.33,0.53}{##1}}}
-\expandafter\def\csname PYGtrac@tok@nb\endcsname{\def\PYGtrac@tc##1{\textcolor[rgb]{0.60,0.60,0.60}{##1}}}
-\expandafter\def\csname PYGtrac@tok@nf\endcsname{\let\PYGtrac@bf=\textbf\def\PYGtrac@tc##1{\textcolor[rgb]{0.60,0.00,0.00}{##1}}}
-\expandafter\def\csname PYGtrac@tok@nc\endcsname{\let\PYGtrac@bf=\textbf\def\PYGtrac@tc##1{\textcolor[rgb]{0.27,0.33,0.53}{##1}}}
-\expandafter\def\csname PYGtrac@tok@ne\endcsname{\let\PYGtrac@bf=\textbf\def\PYGtrac@tc##1{\textcolor[rgb]{0.60,0.00,0.00}{##1}}}
-\expandafter\def\csname PYGtrac@tok@nn\endcsname{\def\PYGtrac@tc##1{\textcolor[rgb]{0.33,0.33,0.33}{##1}}}
-\expandafter\def\csname PYGtrac@tok@nv\endcsname{\def\PYGtrac@tc##1{\textcolor[rgb]{0.00,0.50,0.50}{##1}}}
-\expandafter\def\csname PYGtrac@tok@no\endcsname{\def\PYGtrac@tc##1{\textcolor[rgb]{0.00,0.50,0.50}{##1}}}
-\expandafter\def\csname PYGtrac@tok@nt\endcsname{\def\PYGtrac@tc##1{\textcolor[rgb]{0.00,0.00,0.50}{##1}}}
-\expandafter\def\csname PYGtrac@tok@na\endcsname{\def\PYGtrac@tc##1{\textcolor[rgb]{0.00,0.50,0.50}{##1}}}
-\expandafter\def\csname PYGtrac@tok@ni\endcsname{\def\PYGtrac@tc##1{\textcolor[rgb]{0.50,0.00,0.50}{##1}}}
-\expandafter\def\csname PYGtrac@tok@gh\endcsname{\def\PYGtrac@tc##1{\textcolor[rgb]{0.60,0.60,0.60}{##1}}}
-\expandafter\def\csname PYGtrac@tok@gu\endcsname{\def\PYGtrac@tc##1{\textcolor[rgb]{0.67,0.67,0.67}{##1}}}
-\expandafter\def\csname PYGtrac@tok@gd\endcsname{\def\PYGtrac@tc##1{\textcolor[rgb]{0.00,0.00,0.00}{##1}}\def\PYGtrac@bc##1{\setlength{\fboxsep}{0pt}\colorbox[rgb]{1.00,0.87,0.87}{\strut ##1}}}
-\expandafter\def\csname PYGtrac@tok@gi\endcsname{\def\PYGtrac@tc##1{\textcolor[rgb]{0.00,0.00,0.00}{##1}}\def\PYGtrac@bc##1{\setlength{\fboxsep}{0pt}\colorbox[rgb]{0.87,1.00,0.87}{\strut ##1}}}
-\expandafter\def\csname PYGtrac@tok@gr\endcsname{\def\PYGtrac@tc##1{\textcolor[rgb]{0.67,0.00,0.00}{##1}}}
-\expandafter\def\csname PYGtrac@tok@ge\endcsname{\let\PYGtrac@it=\textit}
-\expandafter\def\csname PYGtrac@tok@gs\endcsname{\let\PYGtrac@bf=\textbf}
-\expandafter\def\csname PYGtrac@tok@gp\endcsname{\def\PYGtrac@tc##1{\textcolor[rgb]{0.33,0.33,0.33}{##1}}}
-\expandafter\def\csname PYGtrac@tok@go\endcsname{\def\PYGtrac@tc##1{\textcolor[rgb]{0.53,0.53,0.53}{##1}}}
-\expandafter\def\csname PYGtrac@tok@gt\endcsname{\def\PYGtrac@tc##1{\textcolor[rgb]{0.67,0.00,0.00}{##1}}}
-\expandafter\def\csname PYGtrac@tok@err\endcsname{\def\PYGtrac@tc##1{\textcolor[rgb]{0.65,0.09,0.09}{##1}}\def\PYGtrac@bc##1{\setlength{\fboxsep}{0pt}\colorbox[rgb]{0.89,0.82,0.82}{\strut ##1}}}
-\expandafter\def\csname PYGtrac@tok@kc\endcsname{\let\PYGtrac@bf=\textbf}
-\expandafter\def\csname PYGtrac@tok@kd\endcsname{\let\PYGtrac@bf=\textbf}
-\expandafter\def\csname PYGtrac@tok@kn\endcsname{\let\PYGtrac@bf=\textbf}
-\expandafter\def\csname PYGtrac@tok@kp\endcsname{\let\PYGtrac@bf=\textbf}
-\expandafter\def\csname PYGtrac@tok@kr\endcsname{\let\PYGtrac@bf=\textbf}
-\expandafter\def\csname PYGtrac@tok@bp\endcsname{\def\PYGtrac@tc##1{\textcolor[rgb]{0.60,0.60,0.60}{##1}}}
-\expandafter\def\csname PYGtrac@tok@fm\endcsname{\let\PYGtrac@bf=\textbf\def\PYGtrac@tc##1{\textcolor[rgb]{0.60,0.00,0.00}{##1}}}
-\expandafter\def\csname PYGtrac@tok@vc\endcsname{\def\PYGtrac@tc##1{\textcolor[rgb]{0.00,0.50,0.50}{##1}}}
-\expandafter\def\csname PYGtrac@tok@vg\endcsname{\def\PYGtrac@tc##1{\textcolor[rgb]{0.00,0.50,0.50}{##1}}}
-\expandafter\def\csname PYGtrac@tok@vi\endcsname{\def\PYGtrac@tc##1{\textcolor[rgb]{0.00,0.50,0.50}{##1}}}
-\expandafter\def\csname PYGtrac@tok@vm\endcsname{\def\PYGtrac@tc##1{\textcolor[rgb]{0.00,0.50,0.50}{##1}}}
-\expandafter\def\csname PYGtrac@tok@sa\endcsname{\def\PYGtrac@tc##1{\textcolor[rgb]{0.73,0.53,0.27}{##1}}}
-\expandafter\def\csname PYGtrac@tok@sb\endcsname{\def\PYGtrac@tc##1{\textcolor[rgb]{0.73,0.53,0.27}{##1}}}
-\expandafter\def\csname PYGtrac@tok@sc\endcsname{\def\PYGtrac@tc##1{\textcolor[rgb]{0.73,0.53,0.27}{##1}}}
-\expandafter\def\csname PYGtrac@tok@dl\endcsname{\def\PYGtrac@tc##1{\textcolor[rgb]{0.73,0.53,0.27}{##1}}}
-\expandafter\def\csname PYGtrac@tok@sd\endcsname{\def\PYGtrac@tc##1{\textcolor[rgb]{0.73,0.53,0.27}{##1}}}
-\expandafter\def\csname PYGtrac@tok@s2\endcsname{\def\PYGtrac@tc##1{\textcolor[rgb]{0.73,0.53,0.27}{##1}}}
-\expandafter\def\csname PYGtrac@tok@se\endcsname{\def\PYGtrac@tc##1{\textcolor[rgb]{0.73,0.53,0.27}{##1}}}
-\expandafter\def\csname PYGtrac@tok@sh\endcsname{\def\PYGtrac@tc##1{\textcolor[rgb]{0.73,0.53,0.27}{##1}}}
-\expandafter\def\csname PYGtrac@tok@si\endcsname{\def\PYGtrac@tc##1{\textcolor[rgb]{0.73,0.53,0.27}{##1}}}
-\expandafter\def\csname PYGtrac@tok@sx\endcsname{\def\PYGtrac@tc##1{\textcolor[rgb]{0.73,0.53,0.27}{##1}}}
-\expandafter\def\csname PYGtrac@tok@s1\endcsname{\def\PYGtrac@tc##1{\textcolor[rgb]{0.73,0.53,0.27}{##1}}}
-\expandafter\def\csname PYGtrac@tok@ss\endcsname{\def\PYGtrac@tc##1{\textcolor[rgb]{0.73,0.53,0.27}{##1}}}
-\expandafter\def\csname PYGtrac@tok@mb\endcsname{\def\PYGtrac@tc##1{\textcolor[rgb]{0.00,0.60,0.60}{##1}}}
-\expandafter\def\csname PYGtrac@tok@mf\endcsname{\def\PYGtrac@tc##1{\textcolor[rgb]{0.00,0.60,0.60}{##1}}}
-\expandafter\def\csname PYGtrac@tok@mh\endcsname{\def\PYGtrac@tc##1{\textcolor[rgb]{0.00,0.60,0.60}{##1}}}
-\expandafter\def\csname PYGtrac@tok@mi\endcsname{\def\PYGtrac@tc##1{\textcolor[rgb]{0.00,0.60,0.60}{##1}}}
-\expandafter\def\csname PYGtrac@tok@il\endcsname{\def\PYGtrac@tc##1{\textcolor[rgb]{0.00,0.60,0.60}{##1}}}
-\expandafter\def\csname PYGtrac@tok@mo\endcsname{\def\PYGtrac@tc##1{\textcolor[rgb]{0.00,0.60,0.60}{##1}}}
-\expandafter\def\csname PYGtrac@tok@ow\endcsname{\let\PYGtrac@bf=\textbf}
-\expandafter\def\csname PYGtrac@tok@ch\endcsname{\let\PYGtrac@it=\textit\def\PYGtrac@tc##1{\textcolor[rgb]{0.60,0.60,0.53}{##1}}}
-\expandafter\def\csname PYGtrac@tok@cm\endcsname{\let\PYGtrac@it=\textit\def\PYGtrac@tc##1{\textcolor[rgb]{0.60,0.60,0.53}{##1}}}
-\expandafter\def\csname PYGtrac@tok@cpf\endcsname{\let\PYGtrac@it=\textit\def\PYGtrac@tc##1{\textcolor[rgb]{0.60,0.60,0.53}{##1}}}
-\expandafter\def\csname PYGtrac@tok@c1\endcsname{\let\PYGtrac@it=\textit\def\PYGtrac@tc##1{\textcolor[rgb]{0.60,0.60,0.53}{##1}}}
-
-\def\PYGtracZbs{\char`\\}
-\def\PYGtracZus{\char`\_}
-\def\PYGtracZob{\char`\{}
-\def\PYGtracZcb{\char`\}}
-\def\PYGtracZca{\char`\^}
-\def\PYGtracZam{\char`\&}
-\def\PYGtracZlt{\char`\<}
-\def\PYGtracZgt{\char`\>}
-\def\PYGtracZsh{\char`\#}
-\def\PYGtracZpc{\char`\%}
-\def\PYGtracZdl{\char`\$}
-\def\PYGtracZhy{\char`\-}
-\def\PYGtracZsq{\char`\'}
-\def\PYGtracZdq{\char`\"}
-\def\PYGtracZti{\char`\~}
-% for compatibility with earlier versions
-\def\PYGtracZat{@}
-\def\PYGtracZlb{[}
-\def\PYGtracZrb{]}
-\makeatother
-
diff --git a/spec/doc.tex b/spec/doc.tex
index afcd205582aa1ab2a2c51e7a6f1ca4723a745bed..1819875e1e1d8d152a4e4c901814c7110d244831 100644
--- a/spec/doc.tex
+++ b/spec/doc.tex
@@ -269,7 +269,7 @@ break
% ========================================
\title{The {\formatName} Proof Format}
-\subtitle{A Speculative Specification and Reference\\(Work in Progress)}
+\subtitle{A Speculative Specification and Reference}
\author{Haniel Barbosa\textsuperscript{1}
\and Mathias Fleury\textsuperscript{2}
\and Pascal Fontaine\textsuperscript{3}