Bentham, Jeremy — entry in Dictionary of National Biography