Fixed showproofs for negation-elimination.