Zaslat SMS: Applied nonstandard analysis.