Things to fix from PDF in Elisabeth's first email to Nike

[ndattani]

• [ ] SFR-BCR-5 needs to be removed because Elisabeth says it's the exact same as SFR-BCR-4. I haven't removed it yet because I didn't want the page numbers to get messed up by removing pages (until some of the emails I've written which referred to specific page numbers, are read).
• [ ] SFR-BCR-3 and SFR-4 are just two special cases of SFR-8. Think about whether it's valuable to keep them. We have indeed kept PTRs which are just special cases of SFRs
• [ ] SFR-BCR-3 and SFR-4 are two cases of Theorem 1 (says Elisabeth) but I've labeled them as special cases of Theorem 2 (SFR-1 and 2 were labeled as Theorem 1, so surely SFR-3 and 4 should be Theorem 2?)
• [ ] SFR-BCR-7 is the same as SFR-BCR-5. One page needs to be removed (but remember that the version in [17] has a typo that was corrected in [26]
• [ ] SFR-BCR-1 and SFR-2 can be combined into one equation just like SFR-3 and SFR-4 (but no one has done it yet, because these require 1 more auxiliary than SFR-BCR-3 & 4 anyway).
• [ ] PTR-BCR-6: Elisabeth says there's only one quadratization using log(n) variables (which is PTR-BCR-3), but in my response I pointed out that Remark 5 from [26] seems to use log(n).
• [ ] PTR-BCR-1: is from Theorem 4.3 of [12] not from [17] ? It is also for even 'k' and not odd 'k' ? There's a missing coefficient of 2 ? However my response email to Elisabeth says that it does seem to be for odd 'k', so this is something to look at more thoroughly.
• [ ] PTR-BCR-2: I had this for only m= k/4, but it should actually be for a range of auxiliaries. While changing this, I noticed that I seem to have n's instead of k's in the matrix. This whole page needs to be checked thoroughly.