\newcommand{\languageinfo}{Automatically generated for language: English}

\newcommand{\answer}{\w{answer}}
\newcommand{\approach}{\w{approach}}
\newcommand{\about}{\w{about}}
\newcommand{\analysis}{\w{analysis}}
\newcommand{\boolean}{\w{boolean}}
\newcommand{\boolTrue}{\w{true}}
\newcommand{\boolFalse}{\w{false}}
\newcommand{\chooseany}{\w{choose}}
\newcommand{\mexample}{\w{example}}
\newcommand{\fails}{\w{fails}}
\newcommand{\find}{\w{find}}
\newcommand{\introductorypart}{\w{introduction}}
\newcommand{\mlecture}{\w{lecture}}
\newcommand{\objective}{\w{objective}}
\newcommand{\program}{\w{program}}
\newcommand{\progSatisfiesSpec}{\w{satisfies}}
\newcommand{\specification}{\w{specification}}
\newcommand{\suchthat}{\w{such}\w{that}}
\newcommand{\synthesis}{\w{synthesis}}
\newcommand{\unknown}{\w{unknown}}
\newcommand{\verification}{\w{verification}}
\newcommand{\question}{\w{question}}

% Unary operators

\newcommand{\w}[1]{\,\mbox{#1}} % word

\newcommand{\pl}[1]{\autosuffix{#1}{s}} % plural

\newcommand{\inpractice}[1]{\w{in} \w{practice}: #1}

\newcommand{\possible}[1]{\w{it} \w{is} \w{possible} \w{that}: {#1}}

%\newenvironment{definition}{\begin{definition}}{\end{definition}}

\newcommand{\define}[2]{\noindent \textbf{definition:}
{#1} \w{means} {#2}.\\}
