Describir: Applied nonstandard analysis.