--- a/hws/hw07.tex	Mon Oct 19 23:49:25 2015 +0100
+++ b/hws/hw07.tex	Tue Oct 20 00:01:56 2015 +0100
@@ -5,6 +5,8 @@
 
 \section*{Homework 7}
 
+\HEADER
+
 \begin{enumerate}
 \item Suppose the context-sensitive grammar