Added begining stuff on infinite divisibility.