prover [pl. provers]