first resolution rule