Eureka (annotated)