Finished mathematical defintion for redundancy
Actually added .tex files this time
Merge branch 'master' of github.com:furquans/cs598mcc

Conflicts:
	writeup/cs598mcc_paper.tex