“ReCAPTCHA, a company founded by Luis von Ahn, was acquired by Google in 2009.”