P
Initializing...
N=2 steps have length two · Prove2Me