Removed random vertical space
Improved descrption of why IND-CCA is good.

Also fixed OW symmetric figure.