better proof printing and more examples in the readme