@robinhouston like, nonstandard analysis isn't new, and he isn't making any wild claims that I can see, he's just obsessed with awards