Keyword: concretizing the resolution