Essential_tuple_normal_form loading ...