reasoning in a circle