Testing doesn't verify the design.