. . . "In step 640, method 600 queries whether Ck,p,t for exists, where k is a search term, p is a product, and t is a type." .