Replaced a bunch of minus signs with setminus
Fixed "Lemma 1" to "Lemma 3.1" as this is what it was referred to
Lost citations 3 and 11, since they were not ref'd