$ not €

— David Ornstein (@David_Ornstein) July 28, 2023