En términos informales este ejemplo permite afirmar que si se sabe que cierta propiedad formula_23 se cumple para toda formula_10 y que si formula_19 es un objeto particular en la estructura, se estaría en capacidad de afirmar formula_26.