OI IMPLICATION: SOUNDNESS AND REFUTATION COMPLETENESS