From 5875e1f2ed7e88730c3b258bb613e67686d16921 Mon Sep 17 00:00:00 2001
From: Aaron Huber <ahuber@buffalo.edu>
Date: Sat, 10 Apr 2021 09:41:59 -0400
Subject: [PATCH] Unpushed changes including acknowledgements

---
 main.tex | 5 +++--
 1 file changed, 3 insertions(+), 2 deletions(-)

diff --git a/main.tex b/main.tex
index 114939e..4f160db 100644
--- a/main.tex
+++ b/main.tex
@@ -19,7 +19,7 @@
 \usepackage[normalem]{ulem}
 \usepackage{subcaption}
 \usepackage{booktabs}
-\usepackage{todonotes}
+\usepackage[disable]{todonotes}
 \usepackage{graphicx}
 \usepackage{listings}
 %%%%%%%%%% SQL + proveannce listing settings
@@ -71,8 +71,9 @@ sensitive=true
 
 \authorrunning{S. Feng, B. Glavic, A. Huber, O. Kennedy, A. Rudra}
 \Copyright{Aaron Huber, Oliver Kennedy, Atri Rudra, Su Feng, Boris Glavic}
-\ccsdesc[100]{\textcolor{red}{Replace ccsdesc macro with valid one}}
+\ccsdesc{Information systems~Incomplete data}
 \keywords{PDB, bags, polynomial, boolean formula, etc.}
+\acknowledgements{We thank Virginia Williams for showing us \cref{eq:3p-3tri}, which greatly simplified our earlier proof of Lemma 3.8, and for graciously allowing us to use it.}
 
 \EventEditors{John Q. Open and Joan R. Access}
 \EventNoEds{2}