well I have to confess: I have no idea which style it could be that is taught! even in my former group I didn't hear about it... perhaps it might help you that I'm from Austria and it could be that there is one specific style that is taught more or less everywhere in Austria when talking about TKD I don't know!