Sorgenfrey_plane loading ...