Email Record: Contributions to non-standard analysis