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