An anecdote: When the Virtual Socket Interface Alliance (VSIA) held a Verification Workshop in 1999, their conclusion was "Verification is hard." The final conclusion was changed a few weeks later to "Verification is not hard. It is very hard." The third VSIA verification meeting concluded "Verification is not just very hard, it is very, very hard."