model, arithmetic, group, symmetric, alternating, initial segment