Yair Halberstadt comments on When Are Circular Definitions A Problem?