P
Initializing...
Bounded model preserving mean and a lower progression count · Prove2Me