Circular and reciprocal proof means proof by means of the conclusion and by taking one of the propositions with its predication reversed and inferring the other which was assumed in the original deduction: eg suppose we had to prove that A belongs to every, and it has been proved through B; suppose that A should now be proved to belong to by assuming that A belongs to, and to before; but the reverse was assumed, viz.