ClauseHub: theory: Difference between revisions