implement check-term operator