"SearchOR(v, b, D, P): v is an OR node, and b is the rate." . . . . .