Proving that 1 and 1 = 2 in Rust | Heykuki News