P
Initializing...
A finite predicate has a maximal element · Prove2Me