checking term counting