Text this: Grilliot's trick in Nonstandard Analysis