Whitehead's_point-free_geometry loading ...