fixed soundness - it was backwards