Arithmetic_group loading ...