P
Initializing...
`exp 0 = 1`. · Prove2Me