Synchronize with 'epsilonz-algebra'