deletions | additions       diff --git a/tmp2.tex b/tmp2.tex  index f56042f..d68f950 100644  --- a/tmp2.tex  +++ b/tmp2.tex 
...
The wealth of data provided by Kepler has revealed an astonishing fact: "When you wish upon a star, you are wishing upon a star with planets" (W. Borucki). There is in average one planet orbiting every star in the Universe. Just in our Galaxy this means we have 100 billions planets. Since we have about 100 billion galaxies in the Universe, there are about 10,000,000,000,000,000,000,000 = $10^{22}$ planets out there.