subgoal infer code started.