P
Initializing...
Comparison energy vanishes on the initial cut · Prove2Me