AllenHaaheim's Groups