This facilitates some of the steps in our (syntactic) proofs, and makes the derivations more explicit.
the following is taken from (Kapur, 1991 when a class has a limit point it is not learnable because the input to the learner can never provide enough information to justify convergence.