P
Initializing...
The induced reachability class is connected · Prove2Me