Shared Provers