But what if the results depend on some buggy function? Then it would all be bunk, and nobody would notice.