Him are the type and the representation of the very Messiah whom
they know not, etc.

He has, then, taught us at last that all these things were only types and
what is "true freedom," a "true Israelite," "true circumcision," "true bread
from heaven," etc.

In these promises each one finds what he has most at heart, temporal
benefits or spiritual, God or the creatures; but with this difference, that
those who therein seek the creatures find them, but with many
contradictions, with a prohibition against loving them, with the command to
worship God only, and to love Him only, which is the same thing, and,
finally, that the Messiah came not for them; whereas those who therein seek
God find Him, without any contradiction, with the command to love Him only,
and that the Messiah came in the time foretold, to give them the blessings
which they ask.

Thus the Jews had miracles and prophecies, which they saw fulfilled, and the
teaching of their law was to worship and love God only; it was also
perpetual. Thus it had all the marks of the true religion; and so it was.
But the Jewish teaching must be distinguished from the teaching of the
Jewish law. Now the Jewish teaching was not true, although it had miracles
and prophecy and perpetuity, because it had not this other point of
worshipping and loving God only.

676. The veil, which is upon these books for the Jews, is there also for
evil Christians and for all who do not hate themselves.

But how well disposed men are to understand them and to know Jesus Christ,
when they truly hate themselves!

677. A type conveys absence and presence, pleasure and pain.

A cipher has a double meaning, one clear and one in which it is said that
the meaning is hidden.

678. Types