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