named procedure, updated description of predicate sampling about exploration rates