The Strength of Nonstandard Analysis door