P
Initializing...
3A, actual b′ = b · rootE on the selected branch · Prove2Me