Fixed errors and rewrote 'Linearity'