P
Initializing...
N=2 integer steps live below level 3 over any predicate · Prove2Me