Added stuff on connected subsets of R