have you seen my mom in other words every internal infinite subset of the hyperreals necessarily contains non standard elements