resolution principle