Dmytry comments on 3^^^3 holes and <10^(3*10^31) pigeons (or vice versa)