Dependent Verification