Proof Accelerator FAQ