Topics Through Provers