What did Democritus do?