Y氏が16番を規格化したとき
すでにOOとHOは区別され存在していたわけで
新たに名前を付けるのなら、違うものには
違う名前を付けるのが自然

名前を付けるということは
個々として自立することだから

名前を付けるということは
本来そういうことではないだろうか