encode_part -> encode_term