Fixes typo: soe -> some.
Uses Computational Complexity journal document class.

In order to use the document class provided by the Computational Complexity
journal, we have to move everything into a single file and make some minor
changes to how we define theorems, use references and citations, etc.