P
Initializing...
KN potential is C^∞ · Prove2Me