The smarter way to proof-test