proof resolution