I like very much the program x virus example/citation.. but I would put it in the other way around: "A program can find all virus, unless the operating system is a virus itself."