P
Initializing...
Reissner–Nordström in ingoing Eddington–Finkelstein coordinates: certificate iff b = Q² · Prove2Me