순수했던 비표준해석학이 그립읍니다..