sec 5 after eq 3 - added: cost is size-independent