Nonstandard analysis door