Title: A note on discovery sampling in auditing