Proves

reldef:bench:proves

proves — the source proof addresses the target hypothesis.