Yes, I completely agree with that. I provided that argument just to illustrate that exactly the same point you've just made works for static typing when you com

Yes, I completely agree with that. I provided that argument just to illustrate that exactly the same point you've just made works for static typing when you compare it to automatic testing.