Rings with common division, common meadows and their conditional equational theories - John Tucker (The Journal of Symbolic Logic, 2024)