P
Initializing...
Reflection absorption for a one-grandchild block: $(a,B,2y-B,y)$ is tree-safe · Prove2Me