dedup ↔ keep overlaps
lenient ↔ strict
detected
infer
backend
r-trip