real-isolated-points