Intermediate Provers