**change all theorem statements to iff

**talk about the notation and difference between big and little w with a tilde on top

**this is a little different from the sequence of the bullets but I think that this is more clear
**the second bullet can have gamma sub w_1 and gamma sub w_2 equal to k and n-k instead of all the
text that we currently have.
**shorten the first dash bullet to higher quality service to users
**shorten the first bullet to say designing robust social networking systems
Slide 29: A signed hypergraph model of the integrated circuit problem