skip proofs feature