Started filling out the satisfiability document - in preparation for the remaining work in the quarter