Formalize optimization
Experiment: Eagerly get strong lock