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