A Complete Finite Axiomatisation of the Equational Theory of Common Meadows - John Tucker (ACM Transactions on Computational Logic, 2025)