Added ability to add in opposing, exclusive links. Moved some code into a private function, DialogGetAssertion, which has some rather confusing if logic but which makes perfect sense (syntax is terror); nonetheless you might want to simplify that because if you ever come back to it you'll be confused. For the record: If it's not in the model and not the current element, and if the exclusive model doesn't have it, put it in. Great. I've started writing what should be in comments in my commit messages.
Fixed a bug where Axioms were attempting to be displayed in the list of possible candidates where they should not have.
Hooked up all them buttons and such to various non-functional slots; going to go look at how to use QDialog.