* modify the existence evaluation function.