More proof methods

(not for merging yet)