The correct amount of spies found at a company is non-zero