P
Initializing...
The `σ`-coefficient of a well-formed law is well formed. · Prove2Me