- Committing some partially-finished code after merging the 'sparse-negation' branch.