deletions | additions       diff --git a/header.tex b/header.tex  index 3ecbfa8..03e8486 100644  --- a/header.tex  +++ b/header.tex 
...
\newtheorem{fact}{Fact}  \newtheorem{proposition}{Proposition}  %%%%%% MACROS  \renewcommand{\L}{\mathcal L}  \newcommand{\N}{N}  \newcommand{\T}{\mathcal T}  \newcommand{\I}{\mathcal I}  \newcommand{\Model}{\mathcal{M}}  \renewcommand{\S}{\mathcal{A}}  \newcommand{\tuple}[1]{\left\langle #1 \right\rangle}  \newcommand{\set}[1]{\left\{ #1 \right\}}  \newcommand{\prof}[1]{\text{\boldmath $#1$}}  \newcommand{\G}{{\bf G}}  \newcommand{\Atoms}{{\bf P}}  \newcommand{\Model}{\mathcal{M}}  \newcommand{\mo}{\text{\rm Mod}}  \renewcommand{\O}{{\bf O}}  \newcommand{\N}{N}  \newcommand{\T}{\mathcal T}  \newcommand{\I}{\mathcal I}  \newcommand{\ic}{\text{\sc IC}}  \newcommand{\D}{\mathcal D}  \newcommand{\J}{\mathcal A}  \newcommand{\S}{\mathcal S}  %%%%%% LOGIC STUFF  \newcommand{\Val}{V}  \newcommand{\Model}{\mathcal{M}}  \newcommand{\Frame}{\mathcal{F}}  \newcommand{\true}[1]{[[#1]]}  \newcommand{\K}{\mathsf{K}}  \newcommand{\lequiv}{\leftrightarrow}  \newcommand{\limp}{\rightarrow}  \newcommand{\lbox}{\square}  \newcommand{\ldia}{\lozenge}  \newcommand{\dia}[1]{\left\langle #1 \right\rangle}  \renewcommand{\box}[1]{\left[ #1 \right]}  \newcommand{\Stb}{\mathsf{stb}}  %%%%%% META SYNTAX  \newcommand{\IF}{\mbox{ \textsc{if} }}  \newcommand{\THEN}{\mbox{ \textsc{then} }}  \newcommand{\IMPLIES}{\mbox{ \textsc{implies} }}  \newcommand{\OR}{\mbox{ \textsc{or} }}  \newcommand{\AND}{\mbox{ \textsc{and} }}  \newcommand{\IFF}{\Longleftrightarrow}  \newcommand{\ST}{\mbox{ \textsc{s.t.} }}  \newcommand{\FOR}{\mbox{ \textsc{for} }}