I hope all abbreviations are unique?