publication venue for An axiomatic formation that is not a variety 2010 Groups with identical subgroup lattices in all powers 2004