"Definable Sets" edits

src/Advanced/Definable Sets/main.tex

@@ -2,7 +2,8 @@
 % use [solutions] flag to show solutions.
 \documentclass[
 	solutions,
-	singlenumbering
+	singlenumbering,
+	shortwarning
 ]{../../../lib/tex/handout}
 \usepackage{../../../lib/tex/macros}
 

src/Advanced/Definable Sets/parts/0 logic.tex

@@ -158,7 +158,7 @@ the same $A$ and $B$. \par
 \vfill
 
 \problem{}
-Write an expression equivalent to $A \lor B$ using only $\lnot$, $\rightarrow$, and $()$?
+Write an expression equivalent to $A \lor B$ using only $\lnot$, $\rightarrow$, and $()$.
 
 \begin{solution}
 	$((\lnot A) \rightarrow B)$