refutation completeness