int folded＝identity_element;