I forgot to mention it at the time, but yesterday was the 318th birthday of Leonhard Euler. Happy birthday!