# Testing proof generation and checking.

<a> <b> <c>.

{<a> <b> []} => { <a> a <Success> }.

# ends