Assia Mahboubi, Matthieu Piquerez: A First Order Theory of Diagram Chasing. CSL 2024: 38:1-38:19