P
Initializing...
Sanity check: $f(0,1) = 1$ · Prove2Me