P
Initializing...
The assignment of zero remaining variables · Prove2Me