satisfier: any agent capable of producing satisfaction
agent: an active and efficient cause; capable of producing a certain effect
anti-virus program: a computer program that checks a computer for viruses and prevents their spread