Continuing focused forward infer requires that the newly asserted term be asserted!