QuickProofs