+\usepackage{blindtext}\r
+\usepackage{enumerate}\r
+\usepackage{hyperref, bookmark}\r
+\usepackage{amsmath, amsfonts, amssymb, amsthm}\r
+\usepackage{xcolor}\r
\usepackage{bussproofs}\r
\r
\theoremstyle{plain}\r
\newcommand{\varfour}{w}\r
\r
\newcommand{\Red}[2]{\xrightarrow{#2}_{#1}}\r
+\newcommand{\TODO}{{\color{red}\textbf{TODO}}}\r
+\r
+\renewcommand{\Lam}[2]{\lambda#1.\, \{\!\!\{#2\}\!\!\}}\r
+\renewcommand{\vec}{\overrightarrow}\r
+\newcommand{\reflemma}[1]{Lemma~\ref{l:#1}}\r
+\newcommand{\head}{h}\r
+\newcommand{\args}{a}\r