My diggings in axiom maillists.