P
Initializing...
The running minimum is no larger than any inspected value · Prove2Me