P
Initializing...
A newly added adjacency makes graph inclusion strict · Prove2Me