Very interesting business model: a custom paid agent for updating proofs faster.