Before revision: Thus, 12 types of taiheki in total have been defined.
After revision: Thus, 12 types of Taiheki in total have been defined.