Binary_tetrahedral_group loading ...