Noun
(printing) The inverted image of an original proof.
(logic) A proof that contradicts a given statement.