P
Initializing...
The interpretation is additive on concatenation. · Prove2Me