Zaslat SMS: Contributions to non-standard analysis.