P
Initializing...
$\mu(0)=\tfrac12$ · Prove2Me