So this is no longer the case here. Puunui is stating emphatically that Gen Choi did not use the name continuously & now moves to offer as evidence the fact that Gen Choi did not use the name TKD when he was elected as 3rd President of the KtsdA.
This is where the debate has evolved to, negligible as it may seem to some.
So my counter to his post, even if it is not important, is that while it was indeed factual that Gen Choi was elected President of the Tae Soo Do group, he:
1) worked hard to have the name changed to TKD
2) he was successful in having it changed to TKD
3) the fact that he worked & pushed so hard to have it changed to TKD & was successful was used as a major reason why he was then pushed out of the KtkdA that he in effect named, because of his authoritarian & dictatorial ways
4) this was also a source (changing the name to TKD) of the some of the hatred by some of the others towards Gen Choi
5) all throughout this time, he was writing the 1st English book on TKD, to do so, that takes much time, work & effort to lay out pages & type set, which never even once applied the name Tae Soo Do to the printing press, in fact in those days it took so long to print a book & gen Choi & his team worked long & hard on it, not even being able to included more of his patterns
6) at the same time, Gen Choi & his team were also busy planning a Kukki TKD Goodwill tour around the world, that was sponsored by the Korean govt, it was never a Tae Soo Do proposed tour, as it was Gen Choi's support team that set it up & they never did so as Tae Soo Do, as they always used TKD
So at best, while Gen Choi may have been the president of the Tae Soo Do group, he was continuously using the TKD name.
Most people utilize some form of footwear. Lets look at of the major groups, shoes & sneakers. Most people wear some sort of stocking or socks on their feet before they put on the footwear. I would say that Gen Choi always wore his TKD socks, even though occasionally he had to wear Tae Soo Do shoes in his official capacity as their elected President, while he fought hard to get them to adopt the name TKD, that they previously rejected, some on more than 1 occasion.