Prove It (Extended)

Prove It (Extended Version)