P
Initializing...
Descents of safe laws are safe. · Prove2Me