RUST says that 4 + 1 = 5