\newcommand{\prover}{\textsc{HumeTT}}