P
Initializing...
Coframe variation δθ = −ΘBΘ · Prove2Me