P
Initializing...
(c : CouplingCertificate) : c.lo ≤ c.hi · Prove2Me