Optimus Prime wishes you a merry Christmas. The definition of the Optimus Primes can be found on the second page of my paper On the existence of extremal cones and comparative probability orderings. I should find out if there are infinitely many of them, but I never seem to get around to it.