P
Initializing...
Disconnectedness with a nonempty vertex set yields an unreachable pair · Prove2Me