Totalising Partial Algebras - John Tucker (Transmathematica, 2022)