P
Initializing...
A finite predicate admits a rank maximizer · Prove2Me