OI-implication: Soundness and Refutation Completeness