P
Initializing...
The local law of every valid state is safe. · Prove2Me