P
Initializing...
Safe laws are well formed. · Prove2Me