Re: Proposed new feature: Provers