P
Initializing...
Uniform Q_Δ(S ·) pass · Prove2Me