library was sold at auction by Edwards in 1789 for [pounds] 9000. cf. Ottino and