Path connectedness

Summary