RE: [math-fun] Hodge conjecture