Polish_space loading ...