add finalterm
remove h