All tools are non-deterministic on some reasonably specified input set.