derive by reasoning

Mentioned in ?