--- a/hws/hw07.tex	Mon Jul 10 18:48:35 2023 +0100
+++ b/hws/hw07.tex	Sat Sep 09 14:14:31 2023 +0100
@@ -6,7 +6,7 @@
 
 \section*{Homework 7}
 
-\HEADER
+%\HEADER
 
 \begin{enumerate}
 \item Suppose the context-sensitive grammar