767. They entered into the ark. That this signifies that they were saved (namely, the man of the church, who was "Noah" and the other churches descending and derived from him which are here spoken of), is evident from what has been said before about "entering into the ark."