It seems that these are no longer sorted or unique.  Both of these should probably still be true.