Jeremy F. Alm, David A. Andrews, Michael Levet: Comer Schemes, Relation Algebras, and the Flexible Atom Conjecture. RAMiCS 2023: 17-33