The puzzle of the dozen spheres
Fire hydrants and soccer players
Thue's two attempts and Fejes-Tóth's achievement
Twelve's company, thirteen's a crowd
No dancing at this congress
The race for the upper bound
Right angles for round spaces
Wobbly balls and hybrid stars
Simplex, Cplex, and symbolic mathematics
But is it really a proof?
Beehives again ... This is not an epilogue.