Matthew Toseland wrote: > Of course it's safe. The average number of nodes visited will be 1/pDrop. Full > stop. End of story. Because DNFs are fatal. Shit, you're right, I see what you mean now. :-) Sorry about that. Cheers, Michael