Quotes by proving-theories