When Did Democritus Discover