Comment by auntienomen

How do you know you don't have errors in a 600 page proof?