P
Initializing...
Canonical two-input configuration satisfies reductionInit · Prove2Me