All but the proof

Signed-off-by: Andrew Miller <amiller@dappervision.com>