P
Initializing...
A guarded two-circle return has a sharp height bound · Prove2Me