Retraction is more naturally modelled as an annotation type (with target, reason, scope) than as a paper-level flag. Replication status: replicated.
lines 77–82 in main.tex