P
Initializing...
A formal sum of safe expressions is safe. · Prove2Me