I wonder too. Did it take many human hours to verify everything?