diff --git a/assets/shorthands.tex b/assets/shorthands.tex
index 58484af..b895a25 100644
--- a/assets/shorthands.tex
+++ b/assets/shorthands.tex
@@ -24,14 +24,12 @@
 \newcommand*{\minisearch}{\gls{minisearch}\xspace}
 \newcommand*{\minizinc}{\gls{minizinc}\xspace}
 \newcommand*{\cmodel}{\gls{model}\xspace}
-\newcommand*{\cmodels}[0]{\glspl{model}\xspace}
+\newcommand*{\cmodels}{\glspl{model}\xspace}
 \newcommand*{\nanozinc}{\gls{nanozinc}\xspace}
 \newcommand*{\prbpar}{\gls{prb-par}\xspace}
 \newcommand*{\prbpars}{\glspl{prb-par}\xspace}
 \newcommand*{\parameters}{\glspl{parameter}\xspace}
 \newcommand*{\parameter}{\gls{parameter}\xspace}
-\newcommand*{\reified}{\gls{reified}\xspace}
-\newcommand*{\halfreified}{\gls{half-reified}\xspace}
 \newcommand*{\solvers}{\glspl{solver}\xspace}
 \newcommand*{\solver}{\gls{solver}\xspace}
 \newcommand*{\Solvers}{\Glspl{solver}\xspace}
@@ -64,5 +62,3 @@
 \newcommand*{\ctxeval}[2]{\ensuremath{\mathbb{M}\left(#2\right)\left\|~#1~\right\|}}
 \newcommand*{\ctxfunc}[2]{\ensuremath{\mathbb{F}\left(#2\right)\left\|~#1~\right\|}}
 \newcommand*{\ctxitem}[1]{\ensuremath{\mathbb{m}\left\|~#1~\right\|}}
-
-\newcommand*{\undefined}{\ensuremath{\bot}}