I did some stuff with booleans, and rather than spend a few minutes going "wait...so if this is true then THAT is true and then this", I'm just committing this because it works.
Merge branch 'master' of https://github.com/et1337/Lemma