Here's the situation. I was looking at one of our (networked) classroom computers, and noticed that Control Panel: Security reported that it detected no antivirus software on the computer. One of our IT people said that the antivirus program was actually there, but wasn't being detected because it had been pushed from the domain. Does that make sense?