deletions | additions       diff --git a/header.tex b/header.tex  index 3bcbe78..55b26c6 100644  --- a/header.tex  +++ b/header.tex 
...
%%%%%% MACROS  \renewcommand{\L}{\mathcal L} \renewcommand{\L}{\mathcal{L}}  \newcommand{\N}{N}  \newcommand{\T}{\mathcal T}  \newcommand{\I}{\mathcal I} 
...
\newcommand{\N}{N}  \newcommand{\T}{\mathcal T}  \newcommand{\I}{\mathcal %\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{\Val}{V}  \newcommand{\Model}{\mathcal{M}}  \newcommand{\Frame}{\mathcal{F}}  \newcommand{\true}[1]{[[#1]]} \newcommand{\true}[1]{\llbracket #1 \rrbracket}  \newcommand{\K}{\mathsf{K}}