P
Initializing...
On the (1,1)-slice the defect condition is exactly the tied condition, generally · Prove2Me