cubefox comments on When Are Circular Definitions A Problem?