P
Initializing...
: S.maj.K = S.K · Prove2Me