P
Initializing...
Fact 1: contraction sandwich identity · Prove2Me