P
Initializing...
Powers of well-formed expressions are well formed. · Prove2Me