Comment by friendcomputer

I think the difference is in one case you are talking about specific properties of specific programs, and in the other you are talking about a universal question about any program.