https://www.lavistachurchofchrist.org/cms/does-this-form-of-doctrine-in-romans-617-refers-to-a-type/