P
Initializing...
The prefix differential preserves normality below its cut · Prove2Me