Comment by omeze

Youre right but I think the point still stands. Many times it really is easier to verify than produce. Compilable code being a good example.