oppose by contrary proof

Mentioned in ?