Before revision:  This study improves the axiomatization proposed by Koczkodaj and Szwarc in 2014.
After revision:  This study also provides better reasoning for the need of normalization. It is a revision of axiomatization by Koczkodaj and Szwarc in 2014.