2nd proof comparison