"We simultaneously know everything and nothing about how each program works"