Proof Generator#1401

Proof Generator (Discussion)