let find x = check x; find x