So, in this sense our dynamic checking is more convenient for software evolution, but wait, the static type people say, actually I love having that static type system when I go to make changes to my program. 