The theory of periodic screening I: Lead time and proportion detected | Synapse