The hyperreals contain infinitesimals that are not standard reals, so transferred proofs may track s...