ProofFactor
x