uses vs. invokes
	• These relations often but do not always coincide • Invocation without use: name service with cached hints • Use without invocation: examples?
				ipAddr := cache(hostName); if wrong(ipAddr,hostName) then    ipAddr := lookup(hostName) endif