Más adelante, en 1992, fue nombrado con la palabra de origen griego «eureka».