Extend by linearity