P
Initializing...
The interpretation of the empty law is `0`. · Prove2Me