implement term-existence check