Quantitative recurrence properties and strong dynamical Borel–Cantelli lemmas for dynamical systems with exponential decay of correlations | Synapse