extend by linearity