Negative proof#Overview