I agree with that, but null safety would be a big deal for correctness.