Update 2017-03-08-Residual-predicates.md
Update 2017-03-08-Residual-predicates.md
sateeshmachineni/sateeshmachineni.github.io,sateeshmachineni/sateeshmachineni.github.io,sateeshmachineni/sateeshmachineni.github.io