Proof Generator (#1401) - Basecamp