$ not €
— David Ornstein (@David_Ornstein)
July 28, 2023