1st proof comparison