to derive by reasoning