run proof

Showing the single result