First ever Rust duplication proof