P
Initializing...
The least proto-Berkeley cardinal is Berkeley · Prove2Me