\newchapter{Synthesis}

\leveldown{}

Synthesis is construction of some structure, according to specification...

\input{synth/logic/main}
\input{synth/pgm/main}
\input{synth/DFA/main}
\input{synth/other/main}

\levelup{}

