Local path connectedness

Summary