Nonstandard Approximation

Declare Attired