Pattern-fulfillment hermeneutics is internally consistent: types anticipate antitypes, and Christ's ...
This proposition has not been edited since the history system was added.