How much was Gen. Choi exposed to original Taekwondo? Since he wasn't even a student of the CDK, just had honorary rank.
Gen Choi was an educated man that trained in karate & knew of Taek Kyon. He was asked by the CDK founder himself to look after or help out with the CDK. This of course was prompted by Gen Choi's powerful position at the time. (Yes there goes the politics again)!
However GM Lee Won Kuk, who also learned karate in Japan, was not teaching TKD, he was teaching Korean karate, as were basically all the others, including Gen Choi.
It was Gen Choi who came up with the umbrella term of TKD which was rejected by most. Those that adopted it or accepted it, were those following him. He was of course asked to help out with the CDK by their won founder. Additionally the CDK was very influential. In the army, Gen Choi used many CDK instructors to teach TangSuDo & to help him devise original TKD, which took place on Jeju Island & then in the ODK. He even had his soldiers shout Tae Kwon when they saluted each other in training. The others were simply not using TKD. They preferred Tang Soo Do, Kong Soo Do, Kwon Bup or other names they made up, Hwa So Do, Su Bak Do etc.
We also know that in 1961, these Koreans rallied around the new compromise name of Tae Soo Do.
So history shows clearly how TKD developed, all the different styles, including the 2 main ones, Chang Hon & Kukki. History also shows how & when the name TKD was introduced & who used it & when did they use it. Some used it & dropped. Some never wanted to use it, but conceded, while others did not. Gen Choi, however & his followers, did use it continuously from 1954/5 till present day. Many may not want to acknowledge that, but it is the case. They were the ones who originally used it & used it continuously, uninterrupted, as they applied it to a new system that they were developing 1st in the military, then though the ITF.
So we know that Chang Hon & Kukki TKD are the 2 major styles of TKD.
We know of the many differences between the 2 major TKD entities.
We know that Chang Hon TKD was developed in the ODK which was formed in 1954. We know that the name TKD was offered in Dec of 1954 & approved on April 11, 1955. We know that the ODK adopted the name TKD & applied it to the system that they were developing under the leadership of Gen Choi.
We also know that Kukki TKD was the result of the unification of the major kwans in Korea. We know that they used the name Tae Soo Do in 1961 to replace the names Tang Soo Do, Kong Soo Do, Kwon Bup, Hwa Soo Do, Su Bak Do & even TKD. It was not till 1965 when at the urging of Gen Choi, which by the way resulted in him being forced out due to his authoritative means, that they forever dropped the Tae Soo Do name & used TKD.
It is plain to see who was the original TKD & who applied that name loyally, without any interruption or abandonment.