это избыточное, но не ограничивающее свойство

имхо ничего страшного