linearity
not defined yet