deletions | additions       diff --git a/tmp2.tex b/tmp2.tex  index 765cace..a812275 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 \citep{2013ApJ...764..105S,2012Natur.481..167C}. 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.