P
Initializing...
Eq. (12): the criterion in terms of the success function $g(q,r)$ · Prove2Me