P
Initializing...
Equation (22): purified/weak-monotonicity form of SSA · Prove2Me