in other words every internal infinite subset of the hyperreals necessarily contains non standard elements so you got married