Yoav Ravid comments on Circular Reasoning