Elaborate on refutation soundness.  Minor fix to intro.