Chad Nester: A Variety Theorem for Relational Universal Algebra. RAMiCS 2021: 362-377