A random bit of trivia