Cross-References and Circular Arguments