probform_ordered_identical_lists