implement term-name operator