Writing Workshop: Wall of Shame

Some great and very confusing sentences we've discovered over the past few weeks

• For \resQ{3} we construct queries that restrict the variants to solve for to four such that we can assess the impact of the ratio of plain to variational terms without the test being dominated by the number of calls made to the underlying solver.