Cheaper Proof Generation

Cheaper Proof Generation