Added proof of motivation for finding CPL on connected components instead of whole graph