А вот СОГЛАСЕН !
(
Да, там через C - это я что то как то художественно наврал, каюсь )
Вы сейчас разнесли аргумент "давайте не будем, потому что избыточно" в щепки, просто замечательным образом.
( тем более, что, повторюсь, уже и так есть избыточность, предлагаю превратить её в полезность приданием доп.свойств )