deletions | additions       diff --git a/case-study.tex b/case-study.tex  index 70cb616..1c64a44 100644  --- a/case-study.tex  +++ b/case-study.tex 
...
\ifdefined \fullver  \item An optimizer module triggered at OSR points, which in turn is made of:  \else  \item An optimizer triggered at OSR points and made of: points, which uses:  \fi  \ifdefined \noauthorea  \begin{enumerate}[noitemsep]