P
Initializing...
A formal power of a safe expression is safe. · Prove2Me