claim and proof

frameworks