fixed soundness - it was backwards
Merge pull request #3 from mmirman/coc

fixed soundness - it was backwards