Add first (incorrect) implementation of Abelian