P
Initializing...
Disconnectedness yields a nonreachable pair · Prove2Me