User:Wes

I just read 1.1.1 of OTIS and now I'm depressed because all my solutions are wrong again because $\implies \neq \iff$ so my basic algebra is wrong LMAO