P
Initializing...
: confNumber (0 : Conf) = 0 · Prove2Me