Short names are always better than long ones, and confusing names with multiple repeating letters…