Field_with_one_element