Back when I was a kid, counting stars was one of the best things to do at night, if we put aside sleeping, of course. When I saw some kid that knew to name more stars than I did, I usually tricked him by coming up with some names of my own. Sometimes it worked, [...]