Tychonoff_space loading ...