is_totally_disconnected source