What is Dependent Verification?