A model of efficient discovery