let abstr_num = !abstr_num