Yes, they should be unique so the abbreviations can be used in communication. Thanks for the catch, I fixed it now.