nonvacuousness/

Covenant History