\relax 
\@writefile{toc}{\contentsline {section}{\numberline {1}So what is induction anyways?}{1}}
\@writefile{toc}{\contentsline {section}{\numberline {2}Practice}{2}}
\@writefile{toc}{\contentsline {section}{\numberline {3}Strong Induction and WOP}{2}}
\@writefile{toc}{\contentsline {section}{\numberline {4}More Practice}{3}}