Symbol: valid_lgroup