notfnofn comments on When Are Circular Definitions A Problem?