Abelian_2-group loading ...