Hint-infer