THE_Z
the_zero_element / basic_function