P
Initializing...
$-1$ is the least element of the two's-complement order · Prove2Me