Prove proving (7/41)

Prove proving