Which philosopher better figured out atomic theory?