temporarily removing the autoprover.