private static function sanitize(array $elements) : array { sort($elements, SORT_ASC); return array_values(array_unique($elements, SORT_ASC)); }