P
Initializing...
MP01 (μ = 3, a = 1/2): binding of F component (0, 1) · Prove2Me