preliminaries intensional-link evaluations