P
Initializing...
Two-deletion configurations cannot have the specified shared insertion at equality · Prove2Me