resolution derivation