Framework and preliminaries