Added the function of "hard-term".