Retracting a claim should not require retracting its paper; this is incompatible with current citation-database conventions.
lines 137–140 in main.tex