Text this: Contributions to non-standard analysis /