refutation, contradiction