Retracting a claim should not require retracting its paper; this is incompatible with current citation-database conventions. Replication status: untested.
lines 127–132 in main.tex