Notation: resolution