Method 'add 'has been changed due to lexicographic sorting