P
Initializing...
Interior avoidance and terminal uniqueness preserve the first hit · Prove2Me