Comment by wongarsu

That just shifts bugs up one layer, into the specification that you then verify